Graduate studies at Western
|Abstract||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)|
|Through your library||Only published papers are available at libraries|
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).
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.
Added to index2010-12-22
Total downloads9 ( #122,589 of 740,703 )
Recent downloads (6 months)1 ( #61,957 of 740,703 )
How can I increase my downloads?