Analytic natural deduction
From MaRDI portal
Publication:5527812
DOI10.2307/2270130zbMath0149.00403MaRDI 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
Unnamed Item, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY, The enduring scandal of deduction. Is propositional logic really uninformative?, Relevant analytic tableaux, Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic, Jean van Heijenoort's contributions to proof theory and its history, Normality, non-contamination and logical depth in classical natural deduction, NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES, SEMANTIC POLLUTION AND SYNTACTIC PURITY