A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics

DOI10.1007/978-3-030-76920-8_9OpenAlexW4200044838MaRDI QIDQ6201547

Nobu-Yuki Suzuki

Publication date: 25 March 2024

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-76920-8_9

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Presheaf semantics and independence results for some non-classical first- order logics
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Quantification in nonclassical logic. Volume I.
• On intermediate many-valued logics
• Some syntactical properties of intermediate predicate logics
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
• A study of intermediate predicate logics
• Halldén-completeness in super-intuitionistic predicate logics
• Constructing a continuum of predicate extensions of each intermediate propositional logic
• Algebraic Kripke sheaf semantics for non-classical predicate logics
• Failure of Interpolation in Constant Domain Intuitionistic Logic
• Disjunction and existence under implication in elementary intuitionistic formalisms
• Incompleteness results in Kripke semantics
• Counting the maximal intermediate constructive logics
• A logic stronger than intuitionism
• Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• On logics intermediate between intuitionistic and classical predicate logic
• The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable
• On some properties of intermediate logics

This page was built for publication: A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics