• Seiki AkamaEmail author
Part of the Intelligent Systems Reference Library book series (ISRL, volume 110)


Paraconsistent logic is a family of non-classical logics to tolerate inconsistency. Many systems of paraconsistent logics have been developed, and they are now applied to several areas including engineering. Jair Minoro Abe, who is an expert on annotated logics, is one of the important figures in paraconsistent logics. This book collects papers, addressing the importance of paraconsistent logics for several fields.


Paraconsistent logics Non-classical logics Annotated logics J.M. Abe 



I am grateful to Prof. Abe for his comments.


  1. 1.
    Abe, J.M.: On the Foundations of Annotated Logics (in Portuguese), Ph.D. Thesis, University of São Paulo, Brazil (1992)Google Scholar
  2. 2.
    Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2016)zbMATHGoogle Scholar
  3. 3.
    Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theor. Comput. Sci. 68, 135–154 (1989)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 561–570 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic \(P{\cal T}\). Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 139–148 (1991)CrossRefzbMATHGoogle Scholar
  6. 6.
    Minsky, M.: A framework for representing knowledge. In: Haugeland, J. (ed.) Mind-Design, pp. 95–128. MIT Press, Cambridge (1975)Google Scholar
  7. 7.
    Subrahmanian, V.: On the semantics of quantitative logic programs. In: Proceedings of the 4th IEEE Symposium on Logic Programming, pp. 173–182 (1987)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.C-RepublicAsao-ku, KawasakiJapan

Personalised recommendations