On 2nd order intuitionistic propositional calculus with full comprehension
From MaRDI portal
Publication:4777262
DOI10.1007/BF02015377zbMath0289.02016OpenAlexW1994211257MaRDI QIDQ4777262
Publication date: 1974
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137894
Related Items
Positive modal logic ⋮ Non-axiomatizable second order intuitionistic propositional logic ⋮ A content semantics for quantified relevant logics. I ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ The intuitionistic propositional calculus with quantifiers ⋮ The existential fragment of second-order propositional intuitionistic logic is undecidable ⋮ A content semantics for quantified relevant logics. II ⋮ Propositional quantification in the monadic fragment of intuitionistic logic ⋮ Craig interpolation theorem for intuitionistic logic and extensions Part III ⋮ Unnamed Item ⋮ Quantification and RM ⋮ On some new intuitionistic propositional connectives. I ⋮ COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS ⋮ \(\supset\)E is admissible in ``true relevant arithmetic ⋮ Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras ⋮ Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ A sequent calculus for subtyping polymorphic types
Cites Work
- Unnamed Item
- Propositional quantifiers in modal logic1
- A logic stronger than intuitionism
- Applications of trees to intermediate logics
- Decidability of some intuitionistic predicate theories
- Sufficient conditions for the undecidability of intuitionistic theories with applications
- The undecidability of intuitionistic theories of algebraically closed fields and real closed fields
