On Harrop disjunction property in intermediate predicate logics
Springer Science and Business Media LLC - Trang 1-8 - 2023
Tóm tắt
A partial solution to Ono’s problem P54 is given. Here Ono’s problem P54 is whether Harrop disjunction property is equivalent to disjunction property or not in intermediate predicate logics. As an application of this result it is shown that some intermediate predicate logics satisfy Harrop disjunction property.
Tài liệu tham khảo
Komori, Y.: Some results on the super-intuitionistic predicate logics. Rep. Math. Logic 15, 13–31 (1983)
Nakamura, T.: Disjunction property for some intermediate predicate logics. Rep. Math. Logic 15, 33–39 (1983)
Ono, H.: Some problems in intermediate predicate logics. Rep. Math. Logic 21, 55–67 (1987)
Suzuki, N.-Y.: Algebraic Kripke sheaf semantics for non-classical predicate logics. Stud. Log. 63, 387–416 (1999)