Bibliography Sorted by Topic

References

• Abe, Jair Minoro, Seiki Akama, and Kazumi Nakamatsu (eds.), 2015, Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning (Intelligent Systems Reference Library 88), Dordrecht: Springer. doi:10.1007/978-3-319-17912-4 (Scholar)
• Akama, Seiki (ed.), 2016, Towards Paraconsistent Engineering (Intelligent Systems Reference Library 110), Dordrecht: Springer. doi:10.1007/978-3-319-40418-9 (Scholar)
• Anderson, Alan Ross and Nuel D. Belnap, 1975, Entailment: The Logic of Relevance and Necessity, Volume 1, Princeton: Princeton University Press. (Scholar)
• Anderson, Alan Ross, Nuel D. Belnap, and J. Michael Dunn, 1992, Entailment: The Logic of Relevance and Necessity, Volume 2, Princeton: Princeton University Press. (Scholar)
• Andreas, Holger and Peter Verdée, 2016, Logical Studies of Paraconsistent Reasoning in Science and Mathematics (Trends in Logic 45), Dordrecht: Springer. doi:10.1007/978-3-319-40220-8 (Scholar)
• Arruda, Ayda I., 1977, “On the Imaginary Logic of N.A. Vasil’év”, in Arruda et al. 1977: 3–24. doi:10.1016/s0049-237x(08)70642-6 (Scholar)
• –––, 1989, “Aspects of the Historical Development of Paraconsistent Logic”, in Priest et al. 1989: 99–130. (Scholar)
• Arruda, Ayda I., Newton da Costa and R. Chuaqui (eds.), 1977, Non-Classical Logic, Model Theory and Computability (Studies in Logic and the Foundations of Mathematics 89), Amsterdam: North Holland. (Scholar)
• Asenjo, F.G., 1966, “A Calculus of Antinomies”, Notre Dame Journal of Formal Logic, 7(1): 103–105. doi:10.1305/ndjfl/1093958482 (Scholar)
• Asmus, Conrad, 2012, “Paraconsistency on the Rocks of Dialetheism”, Logique et Analyse, 55(217): 3–21. [Asmus 2012] (Scholar)
• Avron, Arnon and Iddo Lev, 2005, “Non-deterministic Multi-valued Structures”, Journal of Logic and Computation, 15(3): 241–261. (Scholar)
• Batens, Diderik, 2001, “A General Characterization of Adaptive Logics”, Logique et Analyse, 44(173–175): 45–68. [Batens 2001 available online] (Scholar)
• –––, 2007, “A Universal Logic Approach to Adaptive Logics”, Logica Universalis, 1(1): 221–242. doi:10.1007/s11787-006-0012-5 (Scholar)
• Batens, Diderik, Chris Mortensen, Graham Priest, and Jean-Paul van Bendegem (eds.), 2000, Frontiers of Paraconsistent Logic (Studies in Logic and Computation 8), Baldock, England: Research Studies Press. [First World Congress proceedings]; see also Logique & Analyse, Volume 41, Numbers 161–163. (Scholar)
• Beall, Jc, 2009, Spandrels of Truth, Oxford: Oxford University Press. doi:10.1093/acprof:oso/9780199268733.001.0001 (Scholar)
• Belnap, Nuel D., Jr., 1992, “A Useful Four-valued Logic: How a computer should think”, Entailment: The Logic of Relevance and Necessity, Volume II, Alan Ross Anderson, Nuel D. Belnap, Jr, and J. Michael Dunn, Princeton: Princeton University Press; first appeared as “A Useful Four-valued Logic”, Modern Use of Multiple-valued Logic, J. Michael Dunn and George Epstein (eds.), Dordrecht: D. Reidel, 1977: 5–37, and “How a Computer Should Think”, Contemporary Aspects of Philosophy, Gilbert Ryle (ed.), Oriel Press, 1977: 30–. doi:10.1007/978-94-010-1161-7_2 (Scholar)
• Besnard, Philippe and Anthony Hunter (eds.), 1998, Reasoning with Actual and Potential Contradictions, (Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 2), Dordrecht: Kluwer Academic Publishers. doi:10.1007/978-94-017-1739-7 (Scholar)
• Beziau, Jean-Yves, Walter A. Carnielli, and Dov M. Gabbay (eds.), 2007, Handbook of Paraconsistency (Studies in Logic 9), London: College Publications. [Third World Congress proceedings] (Scholar)
• Beziau, Jean-Yves, Mihir Chakraborty, and Soma Dutta (eds.), 2015, New Directions in Paraconsistent Logic, Dordrecht: Springer. doi:10.1007/978-81-322-2719-9">10.1007/978-81-322-2719-9 [Fifth World Congress proceedings] (Scholar)
• Brady, Ross T., 1989, “The Non-Triviality of Dialectical Set Theory”, in Priest et al. 1989: 437–471. (Scholar)
• ––– (ed.), 2003, Relevant Logics and Their Rivals, Volume 2, Aldershot: Ashgate. (Scholar)
• –––, 2006, Universal Logic, Stanford, CA: CSLI Publications. (Scholar)
• Brown, Bryson, 2002, “On Paraconsistency”, in A Companion to Philosophical Logic, Dale Jacquette (ed.), Oxford: Blackwell, pp. 628–650. doI:10.1002/9780470996751.ch40 (Scholar)
• Brown, Bryson and Graham Priest, 2004, “Chunk and Permeate: A Paraconsistent Inference Strategy. Part 1: The Infinitesimal Calculus”, Journal of Philosophical Logic, 33(4): 379–388. doi:10.1023/b:logi.0000036831.48866.12 (Scholar)
• –––, 2015, “Chunk and Permeate II: Bohr’s Hydrogen Atom”, European Journal for Philosophy of Science, 5(3): 297–314. (Scholar)
• Chomsky, Noam, 1995, The Minimalist Program, Cambridge, MA: MIT Press. (Scholar)
• Carnielli, Walter A. and Marcelo Esteban Coniglio, 2016, Paraconsistent Logic: Consistency, Contradiction and Negation, Dordrecht: Springer. doi:10.1007/978-3-319-33205-5 (Scholar)
• Carnielli, Walter A., Marcelo E. Coniglio, and João Marcos, 2007, “Logics of Formal Inconsistency”, in Handbook of Philosophical Logic, Volume 14 (Second Edition), Dov M. Gabbay and Franz Guenthner (eds.), Berlin: Springer, pp. 15–107. doi:10.1007/978-1-4020-6324-4_1 (Scholar)
• Carnielli, Walter A., M. Coniglio, and Itala Maria Lof D’ottaviano (eds.), 2002, Paraconsistency: the Logical Way to the Inconsistent (Lecture Notes in Pure and Applied Mathematics: Volume 228), Boca Raton: CRC Press. [Second World Congress proceedings] (Scholar)
• da Costa, Newton C.A., 1974, “On the Theory of Inconsistent Formal Systems”, Notre Dame Journal of Formal Logic, 15(4): 497–510. doi:10.1305/ndjfl/1093891487 (Scholar)
• da Costa, Newton C.A. and E.H. Alves, 1977, “Semantical Analysis of the Calculi \({\bf C}_{n}\)”, Notre Dame Journal of Formal Logic, 18(4): 621–630. doi:10.1305/ndjfl/1093888132 (Scholar)
• da Costa, Newton C.A. and L. Dubikajtis, 1977, “On Jaśkowski’s Discussive Logic”, in Arruda et al. 1977: 37–56. doi:10.1016/s0049-237x(08)70644-x (Scholar)
• da Costa, Newton C.A., V.S. Subrahmanian, and Carlo Vago, 1991, “The Paraconsistent Logics \(\mathrm{P}\mathcal{T}\)”, Zeitschrift für Mathematische Logic und Grundlangen der Mathematik, 37(9–12): 139–148. doi:10.1002/malq.19910370903 (Scholar)
• Dunn, J. Michael, 1976, “Intuitive Semantics for First Degree Entailment and ‘Coupled Trees’”, Philosophicl Studies, 29(3): 149–68. doi:10.1007/bf00373152 (Scholar)
• Dunn, J. Michael and Greg Restall, 2002, “Relevance Logic”, Handbook of Philosophical Logic, Volume 6, second edition, Dov M. Gabbay and Franz Guenthner (eds.), Dordrecht: Kluwer Academic Publishers, pp. 1–136. (Scholar)
• Dunne, John D., 2004, Foundations of Dharmakīrti’s Philosophy, Boston: Wisdom Publications. (Scholar)
• Fine, Kit, 1974, “Models for Entailment”, Journal of Philosophical Logic, 3(4): 347–372. doi:10.1007/bf00257480 (Scholar)
• Girard, Patrick and Koji Tanaka, 2016, “Paraconsistent Dynamics”, Synthese, 193(1): 1–14. doi:10.1007/s11229-015-0740-2 (Scholar)
• Halldén, Sören, 1949, The Logic of Nonsense, Uppsala: A.-B. Lundequistska Bokhandeln. (Scholar)
• Hyde, Dominic, 1997, “From Heaps and Gaps to Heaps of Gluts”, Mind, 106(424): 641–660. doi:10.1093/mind/106.424.641 (Scholar)
• Jaśkowski, Stanisław, 1948 [1969], “Rachunek zdań dla systemów dedukcyjnych sprzecznych”, Studia Societatis Scientiarum Torunensi (Sectio A), 1(5): 55–77; an English translation appeared as “Propositional Calculus for Contradictory Deductive Systems”, Studia Logica, 24 (1969): 143–157. (An updated translation by J. Perzanowski appeared in 1999 as “A Propositional Calculus for Inconsistent Deductive Systems”, Logic and Logical Philosophy, 7: 35–56. (Scholar)
• –––, 1949 [1999], “O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych”, Studia Societatis Scientiarum Torunensis (Sectio A), 1 (8): 171–172; an English translation appeared as “On the Discussive Conjunction in the Propositional Calculus for Inconsistent Deductive Systems”, Logic and Logical Philosophy, 7(1999): 57–59. (Scholar)
• Kamide, Norihiro and Heinrich Wansing, 2012, “Proof Theory of Nelson’s Paraconsistent Logic: A Uniform Perspective”, Theoretical Computer Science, 415: 1–38. doi:10.1016/j.tcs.2011.11.001 (Scholar)
• Libert, Thiery, 2005, “Models for a Paraconsistent Set Theory”, Journal of Applied Logic, 3(1): 15–41. doi:10.1016/j.jal.2004.07.010 (Scholar)
• Loparic, A., 1977, “Une étude semantique de quelques calculs propositionnels”, Comptes Rendus Hebdomadaires des Séances de l’Academie des Sciences, 284: 835–838. (Scholar)
• Łukasiewicz, Jan, 1951, Aristotle’s Syllogistic: From the Standpoint of Modern Formal Logic, Oxford: Oxford University Press. (Scholar)
• Mares, Edwin D., 2004, “‘Four-Valued’ Semantics for the Relevant Logic R”, Journal of Philosophical Logic, 33(3): 327–341. doi:10.1023/b:logi.0000031375.18295.30 (Scholar)
• Martin, Christopher J., 1986, “William’s Machine”, Journal of Philosophy, 83(10): 564–572. doi:10.2307/2026432 (Scholar)
• –––, 1987, “Embarrassing Arguments and Surprising Conclusions in the Development Theories of the Conditional in the Twelfth Century”, Gilbert De Poitiers Et Ses Contemporains, J. Jolivet, A. De Libera (eds.), Naples: Bibliopolis, pp. 377–401. (Scholar)
• –––, 1996, “Impossible Positio as the Foundation of Metaphysics or, Logic on the Scotist Plan?”, Vestigia, Imagines, Verba: Semiotics and Logic in Medieval Theological Texts, C. Marmo (ed.), Turnhout: Brepols, pp. 255–276. (Scholar)
• McGinnis, Nicholas D., 2013, “The Unexpected Applicability of Paraconsistent Logic: A Chomskyan Route to Dialetheism”, Foundations of Science, 18(4): 625–640. doi:10.1007/s10699-012-9294-7 (Scholar)
• McKubre-Jordens, Maarten and Zach Weber, 2011, “Real Analysis in Paraconsistent Logic”, Journal of Philosophical Logic, 41(5): 901–922. doi:10.1007/s10992-011-9210-6 (Scholar)
• Michael, Michaelis, 2016, “On a ‘most telling’ Argument for Paraconsistent Logic”, Synthese, 193(10): 3347–3362. doi:10.1007/s11229-015-0935-6 (Scholar)
• Mortensen, Chris, 1995, Inconsistent Mathematics, Dordrecht: Kluwer Academic Publishers. (Scholar)
• Omori, Hitoshi, 2015, “Remarks on Naive Set Theory Based on LP”, Review of Symbolic Logic, 8(2): 279–295. doi:10.1017/s1755020314000525 (Scholar)
• Omori, Hitoshi, and Jesse Alama, forthcoming, “Axiomatizing Jaśkowski’s discussive logic D2”, Studia Logica, first online 10 February 2018. doi: 10.1007/s1122. (Scholar)
• Priest, Graham, 1979, “The Logic of Paradox”, Journal of Philosophical Logic, 8(1): 219–241. doi:10.1007/bf00258428 (Scholar)
• –––, 1987, In Contradiction: A Study of the Transconsistent, Dordrecht: Martinus Nijhoff; second edition, Oxford: Oxford University Press, 2006. (Scholar)
• –––, 2001, “Paraconsistent Belief Revision”, Theoria, 67(3): 214–228. doi:10.1111/j.1755-2567.2001.tb00204.x (Scholar)
• –––, 2002, “Paraconsistent Logic”, in Handbook of Philosophical Logic, second edition, volume 6, Dov M. Gabbay and Franz Guenthner (eds.), Dordrecht: Kluwer Academic Publishers, pp. 287–393. (Scholar)
• –––, 2003, “Inconsistent Arithmetic: Issues Technical and Philosophical”, in Trends in Logic: 50 Years of Studia Logica (Studia Logica Library, volume 21), V.F. Hendricks and J. Malinowski (eds.), Dordrecht: Kluwer Academic Publishers, pp. 273–99. (Scholar)
• –––, 2007, “Paraconsistency and Dialetheism”, in Handbook of the History of Logic, Volume 8, D. Gabbay and J. Woods (eds.), Amsterdam: North Holland, pp. 129–204. (Scholar)
• Priest, Graham, J.C. Beall and Bradley Armour-Garb (eds.), 2004, The Law of Non-Contradiction, Oxford: Oxford University Press. doi:10.1093/acprof:oso/9780199265176.001.0001 (Scholar)
• Priest, Graham, Richard Routley, and Jean Norman (eds.), 1989, Paraconsistent Logic: Essays on the Inconsistent, München: Philosophia Verlag. (Scholar)
• Priest, Graham and Richard Sylvan, 1992, “Simplified Semantics for Basic Relevant Logics”, Journal of Philosophical Logic, 21(2): 217–232. doi:10.1007/bf00248640 (Scholar)
• Rescher, Nicholas and Ruth Manor, 1970, “On Inference from Inconsistent Premises”, Theory and Decision, 1(2): 179–217. doi:10.1007/bf00154005 (Scholar)
• Restall, Greg, 1993, “Simplified Semantics for Relevant Logics (and some of their rivals)”, Journal of Philosophical Logic, 22(5): 481–511. doi:10.1007/bf01349561 (Scholar)
• –––, 1995, “Four-Valued Semantics for Relevant Logics (and some of their rivals)”, Journal of Philosophical Logic, 24(2): 139–160. doi:10.1007/bf01048529 (Scholar)
• Restall, Greg and John Slaney, 1995, “Realistic Belief Revision”, Proceedings of the Second World Conference in the Fundamentals of Artificial Intelligence, M. De Glas and Z. Pawlak (eds.), Paris: Angkor, pp. 367–378. (Scholar)
• Ripley, David, 2011, “Contradictions at the Borders”, in R. Nouwen, R. van Rooij, U. Sauerland & H.-C. Schmitz (eds.), Vagueness in Communication, Dordrecht: Springer, pp. 169–188. doi:10.1007/978-3-642-18446-8_10 (Scholar)
• Routley, Richard and Robert K. Meyer, 1993, “Semantics of Entailment”, Truth, Syntax and Modality, H. Leblanc (ed.), Amsterdam: North Holland, pp. 194–243. (Scholar)
• Routley, Richard, Val Plumwood, Robert K. Meyer, and Ross T. Brady, 1982, Relevant Logics and Their Rivals, Volume 1, Ridgeview: Atascadero. (Scholar)
• Routley, Richard and Val Routley, 1972, “Semantics of First Degree Entailment”, Noûs, 6(4): 335–359. doi:10.2307/2214309 (Scholar)
• Schotch, P.K. and R.E. Jennings, 1980, “Inference and Necessity”, Journal of Philosophical Logic, 9(3): 327–340. doi:10.1007/bf00248398 (Scholar)
• Schotch, Peter, Bryson Brown, and Raymond Jennings (eds.), 2009, On Preserving: Essays on Preservationism and Paraconsistent Logic, Toronto: University of Toronto Press. (Scholar)
• Smiley T.J., 1959, “Entailment and deducibility”, Proceedings of the Aristotelian Society, 59: 233–254. (Scholar)
• Subrahmanian, V.S., 1987, “On the semantics of qualitative logic programs”, Proc. 4th IEEE Symp. Logic Programming, San Francisco, CA: IEEE Computer Society Press, 178–182. (Scholar)
• Sylvan, Richard, 2000, “A Preliminary Western History of Sociative Logics”, in Sociative Logics and Their Applications: Essays by the late Richard Sylvan, Dominic Hyde and Graham Priest (eds.), Aldershot: Ashgate Publishers. (Scholar)
• Tanaka, Koji, 2003, “Three Schools of Paraconsistency”, The Australasian Journal of Logic, 1: 28–42. (Scholar)
• –––, 2005, “The AGM Theory and Inconsistent Belief Change”, Logique et Analyse, 48(189–192): 113–150. [Tanaka 2005 available online] (Scholar)
• Tanaka, Koji, Francesco Berto, Edwin Mares, and Francesco Paoli (eds.), 2013, Paraconsistency: Logic and Applications (Logic, Epistemology, and the Unity of Science 26), Dordrecht: Springer. doi:10.1007/978-94-007-4438-7">10.1007/978-94-007-4438-7 [Fourth World Congress proceedings] (Scholar)
• Tillemans, Tom J.F., 1999, Scripture, Logic, Language: Essays on Dharmakīrti and His Tibetan Successors, Boston: Wisdom Publications. (Scholar)
• Urquhart, Alasdair, 1972, “Semantics for Relevant Logics”, Journal of Symbolic Logic, 37(1): 159–169. doi:10.2307/2272559 (Scholar)
• Verdée, Peter, 2013, “Strong, Universal and Provably Non-trivial Set Theory by Means of Adaptive Logic”, Logic Journal of the IGPL, 21(1): 108–125. doi:10.1093/jigpal/jzs025 (Scholar)
• Weber, Zach, 2010a, “A Paraconsistent Model of Vagueness”, Mind, 119(476): 1025–1045. doi:10.1093/mind/fzq071 (Scholar)
• –––, 2010b, “Transfinite Numbers in Paraconsistent Set Theory”, Review of Symbolic Logic, 3(1): 71–92. doi:10.1017/s1755020309990281 (Scholar)
• –––, 2012, “Transfinite Cardinals in Paraconsistent Set Theory”, Review of Symbolic Logic, 5(2): 269–293. doi:10.1017/s1755020312000019 (Scholar)

World Congress of Paraconsistency Volumes

• [First Congress] Batens, Diderik, Chris Mortensen, Graham Priest, and Jean-Paul van Bendegem (eds.), 2000, Frontiers of Paraconsistent Logic (Studies in Logic and Computation 8), Baldock, England: Research Studies Press. (Scholar)
• [Second Congress] Carnielli, Walter A., M. Coniglio, and Itala Maria Lof D’ottaviano (eds.), 2002, Paraconsistency: the Logical Way to the Inconsistent (Lecture Notes in Pure and Applied Mathematics: Volume 228), Boca Raton: CRC Press. (Scholar)
• [Third Congress] Beziau, Jean-Yves, Walter A. Carnielli, and Dov M. Gabbay (eds.), 2007, Handbook of Paraconsistency (Studies in Logic 9), London: College Publications. (Scholar)
• [Fourth Congress] Tanaka, Koji, Francesco Berto, Edwin Mares, and Francesco Paoli (eds.), 2013, Paraconsistency: Logic and Applications (Logic, Epistemology, and the Unity of Science 26), Dordrecht: Springer. doi:10.1007/978-94-007-4438-7 (Scholar)
• [Fifth Congress] Beziau, Jean-Yves, Mihir Chakraborty, and Soma Dutta (eds.), 2015, New Directions in Paraconsistent Logic, Dordrecht: Springer. doi:10.1007/978-81-322-2719-9 (Scholar)