Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this title represents an integrated discussion of all major topics in the area of paraconsistent logic. It highlights philosophical and historical aspects, major developments and real-world applications.
Author(s): Walter A. Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano (Editors)
Series: Lecture Notes in Pure and Applied Mathematics, Vol. 228
Publisher: Marcel Dekker, Inc.
Year: 2002
Language: English
Pages: 576
Part I: Paraconsistency and Systems of Paraconsistent Logic
1. A Taxonomy of C-Systems [Walter A. Carnielli and João Marcos]
2. Paraconsistent Classical Logic [Bryson Brown]
3. The Logic of Opposition [F. G. Asenjo]
4. Categorical Consequence for Paraconsistent Logic [Fred Johnson and Peter W. Woodruff]
5. Ontological Causes of Inconsistency and a Change-Adaptive, Logical Solution [Guido Vanackere]
6. An Adaptive Logic for Pragmatic Truth [Joke Meheus]
7. A Multiple Worlds Semantics for a Paraconsistent Nonmonotonic Logic [Ana Teresa Martins, Marcelino Pequeno, and Tarcísio Pequeno]
8. An Inductive Annotated Logic [Newton C. A. da Costa and Décio Krause
9. On NCG_\omega: A Paraconsistent Sequent Calculus [José Eduardo de A. Moura andItala M. Loffredo D'Ottaviano]
Part II: Paraconsistency as Related to Other Logics
10. A, Still Adorable [Robert K. Meyer and John K. Slaney]
11. Fuzzy Relevant Logic [Graham Priest]
12. On Some Remarkable Relations between Paraconsistent Logics, Modal Logics, and Ambiguity Logics [Diderik Batens]
13. The Dialogical Dynamics of Adaptive Paraconsistency [Shahid Rahman and Jean Paul van Bendegem]
14. An Inconsistency-Adaptive Proof Procedure for Logic Programming [Timothy Vermeir]
15. Referential and Inferential Many-Valuedness [Grzegorz Malinowski]
16. When Is a Substructural Logic Paraconsistent? Structural Conditions for Paraconsistency in Ternary Frames [Marcelo Finger]
17. Beyond Truth(-Preservation) [R. E. Jennings and D. Sarenac]
18. Paraconsistency in Chang's Logic with Positive and Negative Truth Values [Renato A. Lewin and Marta S. Sagastume]
19. Fault-Tolerance and Rota-Metropolis Cubic Logic [Daniele Mundici]
20. The Annotated Logics OP_{\mathrm{BL}} [Guillermo Ortiz Rico]
21. Definability and Interpolation in Extensions of Johansson's Minimal Logic [Larisa Maksimova]
Part III: Philosophical Aspects of Paraconsistency
22. Toward a Mathematics of Impossible Pictures [Chris Mortensen]
23. Ambiguity Is Not Enough [B. H. Slater]
24. Are Paraconsistent Negations Negations? [Jean-Yves Béziau]
25. On the Role of Adjunction in Para(in)consistent Logic [Max Urchs]
26. Between Consistency and Paraconsistency: Perspectives from Evidence Logic [Don Faust]
27. Kinds of Inconsistency [Gregory R. Wheeler]
28. Paraconsistent Logic vs. Meinongian Logic [Jacek Pásniczek]
29. Can a Paraconsistent Theorist Be a Logical Monist? [Otávio Bueno]
