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.
KeywordsParaconsistent logics Non-classical logics Annotated logics J.M. Abe
I am grateful to Prof. Abe for his comments.
- 1.Abe, J.M.: On the Foundations of Annotated Logics (in Portuguese), Ph.D. Thesis, University of São Paulo, Brazil (1992)Google Scholar
- 6.Minsky, M.: A framework for representing knowledge. In: Haugeland, J. (ed.) Mind-Design, pp. 95–128. MIT Press, Cambridge (1975)Google Scholar
- 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