Natural Deduction for Paraconsistent Logic

Logica Trianguli 4:3-24 (2000)
  Copy   BIBTEX

Abstract

In this paper, by using the method of natural deduction, via the method of subordinate proofs, we develop a hierarchy of natural deduction logical systems NDCn containing just deduction rules with no axiom schema. We prove that these systems NDCn , 1 n , are logically equivalent to the systems of Da Costa’s hierarchy of paraconsistent logics Cn , 1 n . Some of the deduction rules used to introduce these systems are new and do not correspond to Da Costa’s axioms rewritten, permitting the definition of a new paraconsistent semantics, such that soundness and completeness of the systems NDCn , 1 n< , may be directly obtained. Other natural deduction systems logically equivalent to Da Costa’s systems Cn, 1 n , are also introduced

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
Natural deduction systems for some non-commutative logics.Norihiro Kamide & Motohiko Mouri - 2007 - Logic and Logical Philosophy 16 (2-3):105-146.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Variable declarations in natural deduction.Daniel J. Velleman - 2006 - Annals of Pure and Applied Logic 144 (1-3):133-146.

Analytics

Added to PP
2015-02-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

References found in this work

No references found.

Add more references