On second order intuitionistic propositional logic without a universal quantifier

DOI10.2178/jsl/1231082306zbMath1163.03010OpenAlexW2021824907MaRDI QIDQ3616347

Konrad Zdanowski

Publication date: 25 March 2009

Published in: The 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)

Related Items (5)

Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited ⋮ GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY ⋮ The existential fragment of second-order propositional intuitionistic logic is undecidable ⋮ COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers

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

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