Title: A survey of paraconsistent annotated logics and applications

Authors: Jair Minoro Abe, Kazumi Nakamatsu

Addresses: Graduate Program in Production Engineering, ICET – Paulista University, Rua Dr. Bacelar, 1.212, CEP 4026-002, Sao Paulo, SP, Brazil; Institute For Advanced Studies, University of Sao Paulo, Av. Prof. Luciano Gualberto, trav. J, 374, Terreo, Cidade Universitaria, 05508-900 Sao Paulo, SP, Brazil. ' School of Human Science and Environment, University of Hyogo, 1-1-12, Shinzaike-honcho, Himeji, Hyogo 670-0092, Japan

Abstract: In this expository paper, we discuss some applications of the paraconsistent annotated logics (PAL). PAL is a 2-sorted logic that can build a programming language allowing manipulated impreciseness, inconsistencies and paracompleteness in its interior. Also, with suitable rules, it is possible to deal with defesiable-deontic reasoning and many monotonic and non-monotonic reasoning. Also, it is useful to obtain logical frameworks for usual modal systems and in this paper we discuss aspects of them, showing the power of these logical systems.

Keywords: paraconsistent logics; annotated logics; non-classical logics; applications; paraconsistency; impreciseness; inconsistencies; logical systems.

DOI: 10.1504/IJRIS.2009.026715

International Journal of Reasoning-based Intelligent Systems, 2009 Vol.1 No.1/2, pp.31 - 42

Published online: 24 Jun 2009 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article