A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics

DOI10.1007/978-3-031-06843-0_9OpenAlexW4312654633MaRDI QIDQ5886462

Nobu-Yuki Suzuki

Publication date: 5 April 2023

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

Full work available at URL: https://doi.org/10.1007/978-3-031-06843-0_9

zbMATH Keywords

disjunction propertyintermediate logicsJankov formulaexistence property

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intermediate logics (03B55)

Cites Work

• Quantification in nonclassical logic. Volume I.
• Semantical investigations in Heyting's intuitionistic logic
• Constructing a continuum of predicate extensions of each intermediate propositional logic
• Algebraic Kripke sheaf semantics for non-classical predicate logics
• The equivalence of the disjunction and existence properties for modal arithmetic
• Disjunction and existence under implication in elementary intuitionistic formalisms
• The disjunction property implies the numerical existence property
• Counting the maximal intermediate constructive logics
• Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
• Characteristic Formulas Over Intermediate Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item