The following pages link to Analytic natural deduction (Q5527812):
Displayed 10 items.
- The enduring scandal of deduction. Is propositional logic really uninformative? (Q833033) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES (Q2940880) (← links)
- SEMANTIC POLLUTION AND SYNTACTIC PURITY (Q3459083) (← links)
- (Q4575567) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620) (← links)