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 20 items.
- Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics (Q530609) (← links)
- 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)
- Gentzen's Proof of Normalization for Natural Deduction (Q3503742) (← links)
- Forty years of ``unnatural'' natural deduction and quantification: A history of first-order systems of natural deduction, from Gentzen to Copi (Q3987173) (← 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)
- Introduction (Q5919183) (← 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)
