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

8 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
CountryJapan
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

    Tagawa, T., & Cheng, J. (2002). Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logic. In M. Ishizuka, & A. Sattar (Eds.), PRICAI 2002: Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings (pp. 39-48). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2417). Springer Verlag. https://doi.org/10.1007/3-540-45683-x_7