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
EditorsAbdul Sattar, Mitsuru Ishizuka
PublisherSpringer Verlag
Pages39-48
Number of pages10
ISBN (Print)3540440380, 9783540440383
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

Fingerprint

Deontic Logic
Paradox
Logic
Inference Rules
Axioms
Operator

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Tagawa, T., & Cheng, J. (2002). Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logic. In A. Sattar, & M. Ishizuka (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.

Deontic relevant logic : A strong relevant logic approach to removing paradoxes from deontic logic. / Tagawa, Takahiro; Cheng, Jingde.

PRICAI 2002: Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings. ed. / Abdul Sattar; Mitsuru Ishizuka. Springer Verlag, 2002. p. 39-48 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2417).

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

Tagawa, T & Cheng, J 2002, Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logic. in A Sattar & M Ishizuka (eds), PRICAI 2002: Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2417, Springer Verlag, pp. 39-48, 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002, Tokyo, Japan, 8/18/02.
Tagawa T, Cheng J. Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logic. In Sattar A, Ishizuka M, editors, PRICAI 2002: Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer Verlag. 2002. p. 39-48. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Tagawa, Takahiro ; Cheng, Jingde. / Deontic relevant logic : A strong relevant logic approach to removing paradoxes from deontic logic. PRICAI 2002: Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings. editor / Abdul Sattar ; Mitsuru Ishizuka. Springer Verlag, 2002. pp. 39-48 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{46c620d5fda84975862a25718c075e2e,
title = "Deontic relevant logic: A strong relevant logic approach to removing paradoxes from deontic logic",
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.",
author = "Takahiro Tagawa and Jingde Cheng",
year = "2002",
month = "1",
day = "1",
language = "English",
isbn = "3540440380",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "39--48",
editor = "Abdul Sattar and Mitsuru Ishizuka",
booktitle = "PRICAI 2002",
address = "Germany",

}

TY - GEN

T1 - Deontic relevant logic

T2 - A strong relevant logic approach to removing paradoxes from deontic logic

AU - Tagawa, Takahiro

AU - Cheng, Jingde

PY - 2002/1/1

Y1 - 2002/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84947920569&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84947920569&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84947920569

SN - 3540440380

SN - 9783540440383

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 39

EP - 48

BT - PRICAI 2002

A2 - Sattar, Abdul

A2 - Ishizuka, Mitsuru

PB - Springer Verlag

ER -