Analytic natural deduction

DOI10.2307/2270130zbMath0149.00403OpenAlexW2061288661MaRDI QIDQ5527812

Raymond M. Smullyan

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

zbMATH Keywords

mathematical logic

Related Items (10)

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

This page was built for publication: Analytic natural deduction