Non-axiomatizable second order intuitionistic propositional logic
From MaRDI portal
Publication:1361248
DOI10.1016/S0168-0072(96)00034-6zbMath0873.03007MaRDI QIDQ1361248
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
intuitionistic logic; Kripke frames; second-order intuitionistic propositional logic; recursive axiomatizability
03C80: Logic with extra quantifiers and operators
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Pitts' quantifiers are not topological quantification, A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers, Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic
Cites Work