On natural deduction

DOI10.2307/2266969zbMath0041.35001OpenAlexW2061611990MaRDI QIDQ5802121

W. V. Quine

Publication date: 1950

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266969

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items (8)

Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ Three faces of natural deduction ⋮ 1996–97 Annual Meeting of the Association for Symbolic Logic ⋮ A Brief History of Natural Deduction ⋮ Eine Bemerkung über den Kalkül des natürlichen Schließens ⋮ Hypothesis test for causal explanations in human pathology: Evaluation of pulmonary edema in 181 autopsied patients with leukemia ⋮ Natural deduction and arbitrary objects

This page was built for publication: On natural deduction