Non-axiomatizable second order intuitionistic propositional logic
DOI10.1016/S0168-0072(96)00034-6zbMATH Open0873.03007OpenAlexW2000391050MaRDI QIDQ1361248FDOQ1361248
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 logicKripke framessecond-order intuitionistic propositional logicrecursive axiomatizability
Logic with extra quantifiers and operators (03C80) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
Cited In (6)
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- On second order intuitionistic propositional logic without a universal quantifier
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic
- Pitts' quantifiers are not topological quantification
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- On some non-classical extensions of second-order intuitionistic propositional calculus
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Nonaxiomatizability of predicate logics of proofs 👍 👎
- A(nother) characterization of intuitionistic propositional logic 👍 👎
- On an interpretation of second order quantification in first order intuitionistic propositional logic 👍 👎
- On some non-classical extensions of second-order intuitionistic propositional calculus 👍 👎
- On second order intuitionistic propositional logic without a universal quantifier 👍 👎
- A secondary semantics for Second Order Intuitionistic Propositional Logic 👍 👎
- Nonstandard connectives of intuitionistic propositional logic 👍 👎
- Nonmonotonic consequence based on intuitionistic logic 👍 👎
This page was built for publication: Non-axiomatizable second order intuitionistic propositional logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1361248)
