A Logical System for Reasoning with Inconsistent Deontic Modalities
p. 25-34
Résumé
In this paper we present a class of paraconsistent deontic systems D*τ which may constitute, for instance, a framework for the formal study of normative theory in law, in which it is important to manipulate directly the concept of contradiction.
Index
Texte
Citer cet article
Référence papier
Jair Minoro Abe, João I. Da Silva Filho et Kazumi Nakamatsu, « A Logical System for Reasoning with Inconsistent Deontic Modalities », CASYS, 12 | 2002, 25-34.
Référence électronique
Jair Minoro Abe, João I. Da Silva Filho et Kazumi Nakamatsu, « A Logical System for Reasoning with Inconsistent Deontic Modalities », CASYS [En ligne], 12 | 2002, mis en ligne le 15 July 2024, consulté le 20 September 2024. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=1621
Auteurs
Jair Minoro Abe
Dept. of Informatics, ICET - Paulista University, Dr. Bacelar, 1212, 04026-002 São Paulo – SP – Brazil ; Institute For Advanced Studies – University of São Paulo, Av. Prof. Luciano Gualberto, trav. J, 374, térreo, Cidade Universitária, 05508-900 São Paulo – SP - Brazil
João I. Da Silva Filho
Dept. of Informatics, ICET - Paulista University, Dr. Bacelar, 1212, 04026-002 São Paulo – SP – Brazil ; Institute For Advanced Studies – University of São Paulo, Av. Prof. Luciano Gualberto, trav. J, 374, térreo, Cidade Universitária, 05508-900 São Paulo – SP – Brazil
Kazumi Nakamatsu
School of H.E.P.T., Himeji Institute of Technology, Shinzaike 1-1-12, Himeji, 670-009 – Japan.