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

Takahiro Tagawa, Jingde Cheng

    研究成果: Chapter in Book/Report/Conference proceedingConference contribution

    11 被引用数 (Scopus)

    抄録

    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.

    本文言語英語
    ホスト出版物のタイトルPRICAI 2002
    ホスト出版物のサブタイトルTrends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings
    編集者Mitsuru Ishizuka, Abdul Sattar
    出版社Springer Verlag
    ページ39-48
    ページ数10
    ISBN(印刷版)3540440380, 9783540440383
    DOI
    出版ステータス出版済み - 1 1 2002
    イベント7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002 - Tokyo, 日本
    継続期間: 8 18 20028 22 2002

    出版物シリーズ

    名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    2417
    ISSN(印刷版)0302-9743
    ISSN(電子版)1611-3349

    その他

    その他7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002
    国/地域日本
    CityTokyo
    Period8/18/028/22/02

    All Science Journal Classification (ASJC) codes

    • 理論的コンピュータサイエンス
    • コンピュータ サイエンス(全般)

    フィンガープリント

    「Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル