References
Facsimile [PDF, 4.7M]

A Logical System for Reasoning with Inconsistent Deontic Modalities

Jair Minoro Abe, João Inácio da Silva Filho and Kazumi Nakamatsu

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.

    Index

    Keywords

    paraconsistent deontic logic, normative theory and inconsistency

    Text

    Download Facsimile [PDF, 4.7M]

    References

    Bibliographical reference

    Jair Minoro Abe, João Inácio 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 Inácio da Silva Filho and Kazumi Nakamatsu, « A Logical System for Reasoning with Inconsistent Deontic Modalities », CASYS [Online], 12 | 2002, Online since 10 October 2024, connection on 10 January 2025. 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 Inácio 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