The intuitionistic propositional calculus with quantifiers

DOI10.1007/BF01147694MaRDI QIDQ1132864zbMATH OpenOpenAlexFDO

Authors S. K. Sobolev

Publication date 1978

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01147694

zbMATH Keywords

completeness theoremintuitionistic propositional calculus with quantifiersKripke-style semantics

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other nonclassical logic (03B60) Categoricity and completeness of theories (03C35) Logic with extra quantifiers and operators (03C80) Intuitionistic mathematics (03F55)

Cites work

• On 2nd order intuitionistic propositional calculus with full comprehension

Cited in

(2)

• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers

This page was built for publication: The intuitionistic propositional calculus with quantifiers

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