The following pages link to (Q3290716):
Displayed 9 items.
- Dialogues, strategies, and intuitionistic provability (Q1061740) (← links)
- Finite games for a predicate logic without contractions (Q1314388) (← links)
- The Truth of Proof: A Hegelian Perspective on Constructivism (Q3305649) (← links)
- Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik (Q3315483) (← links)
- PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION (Q4961867) (← links)
- Lorenzen Between Gentzen and Schütte (Q5024725) (← links)
- Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents (Q5024730) (← links)
- Logical string rewriting (Q5941560) (← links)
- Lorenzen's Proof of Consistency for Elementary Number Theory (Q6098749) (← links)