Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

DOI10.1007/BF02015371zbMATH Open0286.02035WikidataQ56082434 ScholiaQ56082434MaRDI QIDQ4774024FDOQ4774024

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
• On Relating Theories: Proof-Theoretical Reduction
• Double negation semantics for generalisations of Heyting algebras
• 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)