A curious inference
From MaRDI portal
Publication:1091390
DOI10.1007/BF00250612zbMath0623.03054OpenAlexW2090308107MaRDI QIDQ1091390
Publication date: 1987
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00250612
Constructive and recursive analysis (03F60) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)
Related Items
Reasoning with sentences and diagrams, Hybridizing nonmonotonic inheritance with theorem proving, Formal and Natural Proof: A Phenomenological Approach, Higher-Order Modal Logics: Automation and Applications, Non-elementary speed-ups in proof length by different variants of classical analytic calculi, Naturalizing indispensability: a rejoinder to `The varieties of indispensability arguments'
