Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

DOI10.1007/BF02015371MaRDI QIDQ4774024zbMATH OpenWikidataFDO

Authors Gerhard Gentzen

Publication date 1974

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/137888

Mathematics Subject Classification ID

Intermediate logics (03B55) Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Cited in

(13)

• Types as graphs: Continuations in type logical grammar
• Automated constructivization of proofs
• Intuitionistic mereology
• Constructivism and Metamathematics
• Double negation semantics for generalisations of Heyting algebras
• On Relating Theories: Proof-Theoretical Reduction
• Negative translations not intuitionistically equivalent to the usual ones
• Minimum classical extensions of constructive theories
• Interpolation via translations
• Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
• On constructive fragments of classical logic
• Cut elimination for entailment relations
• Universal logic as a science of patterns

This page was built for publication: Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

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