Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

DOI10.1007/BF02015371zbMath0286.02035WikidataQ56082434 ScholiaQ56082434MaRDI QIDQ4774024

No author found.

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

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

Related Items (13)

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

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