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: 91,219

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

Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
Expressive Power and Incompleteness of Propositional Logics.James W. Garson - 2010 - Journal of Philosophical Logic 39 (2):159-171.
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.
A Binary-conclusion Natural Deduction System.K. Fujita - 1999 - Logic Journal of the IGPL 7 (4):517-545.
Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
Completeness via correspondence for extensions of the logic of paradox.Barteld Kooi & Allard Tamminga - 2012 - Review of Symbolic Logic 5 (4):720-730.
Natural Deduction.Andrzej Indrzejczak - 2015
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Natural Deduction for Paraconsistent Logic.Milton De Castro & Itala Loffredo D'ottaviano - 2000 - Logica Trianguli 4:3-24.
Simple characterization of functionally complete one‐element sets of propositional connectives.Petar Maksimović & Predrag Janičić - 2006 - Mathematical Logic Quarterly 52 (5):498-504.
Normal Proofs, Cut Free Derivations and Structural Rules.Greg Restall - 2014 - Studia Logica 102 (6):1143-1166.
A natural deduction system for bundled branching time logic.Stefano Baratella & Andrea Masini - 2013 - Journal of Applied Non-Classical Logics 23 (3):268 - 283.
Natural deduction rules for a logic of vagueness.J. A. Burgess & I. L. Humberstone - 1987 - Erkenntnis 27 (2):197-229.
Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
On Quine's Approach to Natural Deduction'.Carlo Cellucci - 1995 - In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. pp. 314--335.

Analytics

Added to PP
2017-10-24

Downloads
42 (#361,008)

6 months
6 (#431,022)

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