Non-axiomatizable second order intuitionistic propositional logic

DOI10.1016/S0168-0072(96)00034-6zbMath0873.03007OpenAlexW2000391050MaRDI QIDQ1361248

Dimitrij Skvortsov

Publication date: 23 July 1997

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(96)00034-6

zbMATH Keywords

intuitionistic logicKripke framessecond-order intuitionistic propositional logicrecursive axiomatizability

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Pitts' quantifiers are not topological quantification ⋮ Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers

Cites Work

• Propositional quantifiers in modal logic1
• On the complexity of propositional quantification in intuitionistic logic
• On 2nd order intuitionistic propositional calculus with full comprehension
• Unnamed Item

This page was built for publication: Non-axiomatizable second order intuitionistic propositional logic