On natural deduction

DOI10.2307/2266969MaRDI QIDQ5802121zbMATH OpenOpenAlexFDO

Authors 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

Cited in

(9)

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

This page was built for publication: On natural deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5802121)