On 2nd order intuitionistic propositional calculus with full comprehension

DOI10.1007/BF02015377zbMATH Open0289.02016OpenAlexW1994211257MaRDI QIDQ4777262FDOQ4777262

Authors: Dov Gabbay 

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Cites Work

• Propositional quantifiers in modal logic1
• Applications of trees to intermediate logics
• A logic stronger than intuitionism
• Title not available (Why is that?)
• 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

Cited In (18)

• Craig interpolation theorem for intuitionistic logic and extensions Part III
• Title not available (Why is that?)
• A sequent calculus for subtyping polymorphic types
• \(\supset\)E is admissible in ``true relevant arithmetic
• Quantification and RM
• The intuitionistic propositional calculus with quantifiers
• Positive modal logic
• Propositional quantification in the topological semantics for \(\mathbf S4\)
• Propositional quantification in the monadic fragment of intuitionistic logic
• A content semantics for quantified relevant logics. II
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• On some new intuitionistic propositional connectives. I
• A content semantics for quantified relevant logics. I
• Description of all functions definable by formulae of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras
• Non-axiomatizable second order intuitionistic propositional logic
• The existential fragment of second-order propositional intuitionistic logic is undecidable
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
• Completeness of second-order propositional S4 and H in topological semantics

This page was built for publication: On 2nd order intuitionistic propositional calculus with full comprehension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4777262)