GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY

DOI10.1017/JSL.2013.10zbMath1337.03015OpenAlexW2059741001MaRDI QIDQ2921007

Christine Rizkallah, Chad Edward Brown

Publication date: 30 September 2014

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

Full work available at URL: https://semanticscholar.org/paper/39439fce3f1bc97895987dadf1917b768a767cf8

zbMATH Keywords

higher-order logicsimple type theoryGlivenko's theoremelementary type theory

Mathematics Subject Classification ID

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

Related Items (1)

Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Inhabitation of polymorphic and existential types
• An introduction to mathematical logic and type theory: To truth through proof.
• On second order intuitionistic propositional logic without a universal quantifier
• Resolution in type theory
• Intuitionistische Untersuchungen der formalistischen Logik

This page was built for publication: GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY