The intuitionistic propositional calculus with quantifiers
From MaRDI portal
Publication:1132864
DOI10.1007/BF01147694zbMath0421.03017OpenAlexW1974944279MaRDI QIDQ1132864
Publication date: 1978
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01147694
Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Intuitionistic mathematics (03F55) Categoricity and completeness of theories (03C35)
Related Items (2)
A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
Cites Work
This page was built for publication: The intuitionistic propositional calculus with quantifiers
