The following pages link to Introduction (Q5919183):
Displaying 7 items.
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- From axiomatic logic to natural deduction (Q2259010) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Jaśkowski and Gentzen approaches to natural deduction and related systems (Q2702282) (← links)
- Gentzen's proof systems: byproducts in a work of genius (Q2915886) (← links)
- Forty years of ``unnatural'' natural deduction and quantification: A history of first-order systems of natural deduction, from Gentzen to Copi (Q3987173) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
