Pages that link to "Item:Q2915886"
From MaRDI portal
The following pages link to Gentzen's Proof Systems: Byproducts in a Work of Genius (Q2915886):
Displaying 16 items.
- Jean van Heijenoort's conception of modern logic, in historical perspective (Q1942093) (← links)
- The explosion calculus (Q2186694) (← links)
- From axiomatic logic to natural deduction (Q2259010) (← links)
- Eight inference rules for implication (Q2323641) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract) (Q2695540) (← links)
- GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE (Q2795206) (← links)
- NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION (Q2890694) (← links)
- Relevant Connexive Logic (Q3387887) (← links)
- EARLY STRUCTURAL REASONING. GENTZEN 1932 (Q3459084) (← links)
- Nineteenth Century British Logic on Hypotheticals, Conditionals, and Implication (Q4983359) (← links)
- The Role of Structural Reasoning in the Genesis of Graph Theory (Q5208125) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Meaning in Use (Q5213613) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)
- Eight rules for implication elimination (Q6612871) (← links)
- Focusing Gentzen's LK proof system (Q6612872) (← links)
