scientific article; zbMATH DE number 3171968
From MaRDI portal
Publication:3290716
Cited in
(18)- Dialogues, strategies, and intuitionistic provability
- Finite games for a predicate logic without contractions
- A metasemantic challenge for mathematical determinacy
- The truth of proof: a Hegelian perspective on constructivism
- Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
- scientific article; zbMATH DE number 3177714 (Why is no real title available?)
- scientific article; zbMATH DE number 1390282 (Why is no real title available?)
- Preservation of structural properties in intuitionistic extensions of an inference relation
- Lorenzen Between Gentzen and Schütte
- Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents
- scientific article; zbMATH DE number 7583721 (Why is no real title available?)
- Перспективы метаматематических структур в науке
- Constructivism and Metamathematics
- scientific article; zbMATH DE number 2236634 (Why is no real title available?)
- Logical string rewriting
- Metafinite model theory
- Lorenzen's Proof of Consistency for Elementary Number Theory
- An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3290716)
