David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Paraconsistent logic is the study of logics in which there are some theories embodying contradictions but which are not trivial, in particular in a paraconsistent logic, the ex contradictione sequitur quod libet, which can be formalized as Cn(T, a,¬a)=F is not valid. Since nearly half a century various systems of paraconsistent logic have been proposed and studied. This field of research is classified under a special section (B53) in the Mathematical Reviews and watching this section, it is possible to see that the number of papers devoted to paraconsistent logic is each time greater and has recently increased due in particular to its applications to computer sciences (see e.g. Blair and Subrahmanian.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Newton C. A. da Costa & Décio Krause, Remarks on the Applications of Paraconsistent Logic to Physics.
Bryson Brown (1999). Yes, Virginia, There Really Are Paraconsistent Logics. Journal of Philosophical Logic 28 (5):489-500.
Greg Restall (2002). Paraconsistency Everywhere. Notre Dame Journal of Formal Logic 43 (3):147-156.
Newton C. A. Costa & Walter A. Carnielli (1986). On Paraconsistent Deontic Logic. Philosophia 16 (3-4):293-305.
Gemma Robles & José M. Méndez (2010). Paraconsistent Logics Included in Lewis’ S4. Review of Symbolic Logic 3 (03):442-466.
O. Arieli, A. Avron & A. Zamansky (2011). Ideal Paraconsistent Logics. Studia Logica 99 (1-3):31-60.
Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska (2005). Socratic Proofs and Paraconsistency: A Case Study. Studia Logica 80 (2-3):431 - 466.
Marcelo E. Coniglio & Newton M. Peron (2009). A Paraconsistentist Approach to Chisholm's Paradox. Principia 13 (3):299-326.
M. W. Bunder (1984). Some Definitions of Negation Leading to Paraconsistent Logics. Studia Logica 43 (1-2):75 - 78.
Reinhard Muskens (1999). On Partial and Paraconsistent Logics. Notre Dame Journal of Formal Logic 40 (3):352-374.
Joke Meheus (2000). An Extremely Rich Paraconsistent Logic and the Adaptive Logic Based on It. In Frontiers of Paraconsistent Logic. Research Studies Press 189-201.
Added to index2010-12-22
Total downloads21 ( #180,223 of 1,907,930 )
Recent downloads (6 months)4 ( #195,456 of 1,907,930 )
How can I increase my downloads?