A Logical System for Reasoning with Inconsistent Deontic Modalities

p. 25-34

Abstract

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.

Text

Download Facsimile [PDF, 4.7M]

References

Bibliographical reference

Jair Minoro Abe, João I. Da Silva Filho and Kazumi Nakamatsu, « A Logical System for Reasoning with Inconsistent Deontic Modalities », CASYS, 12 | 2002, 25-34.

Electronic reference

Jair Minoro Abe, João I. Da Silva Filho and Kazumi Nakamatsu, « A Logical System for Reasoning with Inconsistent Deontic Modalities », CASYS [Online], 12 | 2002, Online since 15 July 2024, connection on 20 September 2024. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=1621

Authors

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

By this author

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

By this author

Kazumi Nakamatsu

School of H.E.P.T., Himeji Institute of Technology, Shinzaike 1-1-12, Himeji, 670-009 – Japan.

By this author

Copyright

CC BY-SA 4.0 Deed