On second order intuitionistic propositional logic without a universal quantifier

DOI10.2178/JSL/1231082306MaRDI QIDQ3616347zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Glivenko theoremsecond-order intuitionistic propositional logic

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(14)

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

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)