Analytic natural deduction
From MaRDI portal
Publication:5527812
DOI10.2307/2270130zbMath0149.00403OpenAlexW2061288661MaRDI QIDQ5527812
Publication date: 1965
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270130
Related Items
The enduring scandal of deduction. Is propositional logic really uninformative?, SEMANTIC POLLUTION AND SYNTACTIC PURITY, NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES, Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic, Jean van Heijenoort's contributions to proof theory and its history, HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, Unnamed Item, Relevant analytic tableaux, Normality, non-contamination and logical depth in classical natural deduction