Non-axiomatizable second order intuitionistic propositional logic

DOI10.1016/S0168-0072(96)00034-6zbMATH Open0873.03007OpenAlexW2000391050MaRDI QIDQ1361248FDOQ1361248

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

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

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)

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
• Title not available (Why is that?)

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)