Natural deduction for paraconsistent logic

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

My notes

Similar books and articles

Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis De Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Natural deduction systems for some non-commutative logics.Norihiro Kamide & Motohiko Mouri - 2007 - Logic and Logical Philosophy 16 (2-3):105-146.
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Remarks on the applications of paraconsistent logic to physics.Newton C. A. da Costa & Décio Krause - unknown
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω.Itala M. Loffredo D'Ottaviano & Milton Augustinis de Castro - 2005 - Journal of Applied Non-Classical Logics 15 (1):69-103.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Paraconsistent logic! (A reply to Slater) Jean-Yves BéziauFoot note 1_.Blaise Pascal - unknown

Analytics

Added to PP
2014-01-20

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?

Author's Profile

Itala Maria Loffredo D'Ottaviano
Universidade Estadual de Campinas

Citations of this work

Add more citations

References found in this work

No references found.

Add more references