Minimal Complete Propositional Natural Deduction Systems

&
Journal of Philosophical Logic 47 (5):803-815 (2018)
  Copy   BIBTEX

Abstract

For each truth-functionally complete set of connectives, we construct a sound and complete natural deduction system containing no axioms and the smallest possible number of inference rules, namely one.

Categories

Keywords

Reprint years

DOI

10.1007/s10992-017-9450-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Expressive Power and Incompleteness of Propositional Logics.James W. Garson - 2010 - Journal of Philosophical Logic 39 (2):159-171.
Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.
Completeness via correspondence for extensions of the logic of paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.
Simple characterization of functionally complete one‐element sets of propositional connectives.Petar Maksimović & Predrag Janičić - 2006 - Mathematical Logic Quarterly 52 (5):498-504.
Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
Natural deduction rules for a logic of vagueness.J. A. Burgess & I. L. Humberstone - 1987 - Erkenntnis 27 (2):197-229.
Classical Logic through Refutation and Rejection.Achille C. Varzi & Gabriele Pulcini - forthcoming - In Achille C. Varzi & Gabriele Pulcini (eds.), Landscapes in Logic (Volume on Philosophical Logics). College Publications.
A Binary-conclusion Natural Deduction System.K. Fujita - 1999 - Logic Journal of the IGPL 7 (4):517-545.
Correspondence Analysis for Some Fragments of Classical Propositional Logic.Yaroslav Petrukhin & Vasilyi Shangin - 2021 - Logica Universalis 15 (1):67-85.

Analytics

Added to PP
2017-10-24

Downloads
42 (#368,940)

6 months
2 (#1,446,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.
Natural Logic.H. A. Lewis - 1981 - Philosophical Quarterly 31 (125):376.
Introduction to a general theory of elementary propositions.Emil L. Post - 1921 - American Journal of Mathematics 43 (3):163--185.
The Stroke Function in Natural Deduction.Robert Price - 1961 - Mathematical Logic Quarterly 7 (7-10):117-123.

View all 9 references / Add more references