Konstruktive Begründung der Mathematik

DOI10.1007/BF01162411MaRDI QIDQ2649022zbMATH OpenFDO

Authors Paul Lorenzen

Publication date 1950

Published in Mathematische Zeitschrift (Search for Journal in Brave)

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

zbMATH Keywords

Philosophy and foundations of mathematics

Cited in

(13)

• Steps towards a proof-theoretical semantics
• Maß und Integral in der konstruktiven Analysis
• Über endliche Mengen
• Eine Bemerkung über die Abzählbarkeitsvoraussetzung in der Algebra
• On Inversion Principles
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Operation and predicativity: Lorenzen's approach to arithmetic
• Conceptions of infinity and set in Lorenzen's operationist system
• Prawitz, Proofs, and Meaning
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• General-elimination stability
• Harmonic inferentialism and the logic of identity
• An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)

This page was built for publication: Konstruktive Begründung der Mathematik

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