Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logic

Takahiro Tagawa, Jingde Cheng

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Citations (Scopus)

    Abstract

    In this paper, we propose a strong relevant logic approach to solve the problems of deontic logic paradoxes. Since the paradoxes in deontic logic have the same form as the paradoxes in traditional (weak) relevant logic, which have been rejected by our strong relevant logic, we show that a new family of logic, named deontic relevant logics, can be established by introducing deontic operators and relative axioms and inference rules into strong relevant logics such that those deontic logic paradoxes are rejected by deontic relevant logics.

    Original languageEnglish
    Title of host publicationPRICAI 2002
    Subtitle of host publicationTrends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings
    EditorsMitsuru Ishizuka, Abdul Sattar
    PublisherSpringer Verlag
    Pages39-48
    Number of pages10
    ISBN (Print)3540440380, 9783540440383
    DOIs
    Publication statusPublished - Jan 1 2002
    Event7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002 - Tokyo, Japan
    Duration: Aug 18 2002Aug 22 2002

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume2417
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Other

    Other7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002
    Country/TerritoryJapan
    CityTokyo
    Period8/18/028/22/02

    All Science Journal Classification (ASJC) codes

    • Theoretical Computer Science
    • Computer Science(all)

    Fingerprint

    Dive into the research topics of 'Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logic'. Together they form a unique fingerprint.

    Cite this