On second order intuitionistic propositional logic without a universal quantifier

DOI10.2178/JSL/1231082306zbMATH Open1163.03010OpenAlexW2021824907MaRDI QIDQ3616347FDOQ3616347

Authors: Konrad Zdanowski 

Publication date: 25 March 2009

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1231082306

Recommendations

• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Non-axiomatizable second order intuitionistic propositional logic
• A secondary semantics for Second Order Intuitionistic Propositional Logic
• On some non-classical extensions of second-order intuitionistic propositional calculus
• Intuitionistic propositional logic without `contraction' but with `reductio'
• Second-order logic: properties, semantics, and existential commitments
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
• Second-order propositional modal logic: expressiveness and completeness results
• scientific article; zbMATH DE number 1088204

zbMATH Keywords

Glivenko theoremsecond-order intuitionistic propositional logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Lectures on the Curry-Howard isomorphism
• TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers
• Pitts' quantifiers are not topological quantification

Cited In (12)

• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• Glivenko and Kuroda for simple type theory
• A syntactic embedding of predicate logic into second-order propositional logic
• A secondary semantics for Second Order Intuitionistic Propositional Logic
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• On some non-classical extensions of second-order intuitionistic propositional calculus
• Description of all functions definable by formulae of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras
• Non-axiomatizable second order intuitionistic propositional logic
• From the research on logics without tautologies (part 2)
• The existential fragment of second-order propositional intuitionistic logic is undecidable
• Completeness of second-order propositional S4 and H in topological semantics

This page was built for publication: On second order intuitionistic propositional logic without a universal quantifier

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3616347)