Non-axiomatizable second order intuitionistic propositional logic

DOI10.1016/S0168-0072(96)00034-6MaRDI QIDQ1361248zbMATH OpenOpenAlexFDO

Authors Dmitrij 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)

Recommendations

• On second order intuitionistic propositional logic without a universal quantifier
• A secondary semantics for Second Order Intuitionistic Propositional Logic
• scientific article; zbMATH DE number 5885155
• Nonstandard connectives of intuitionistic propositional logic
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Nonaxiomatizability of predicate logics of proofs
• On some non-classical extensions of second-order intuitionistic propositional calculus
• A(nother) characterization of intuitionistic propositional logic
• scientific article; zbMATH DE number 6787709
• Nonmonotonic consequence based on intuitionistic logic

Cites work

• scientific article; zbMATH DE number 3568653 (Why is no real title available?)
• On 2nd order intuitionistic propositional calculus with full comprehension
• On the complexity of propositional quantification in intuitionistic logic
• Propositional quantifiers in modal logic1

Cited in

(9)

• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Axiomatization of intuitionistic logics defined by small frames
• Neighbourhood and lattice models of second-order intuitionistic propositional logic
• On second order intuitionistic propositional logic without a universal quantifier
• A secondary semantics for Second Order 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
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional 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)