A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
From MaRDI portal
Publication:5886462
DOI10.1007/978-3-031-06843-0_9OpenAlexW4312654633MaRDI QIDQ5886462
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
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