Sette’s logics, revisited

研究成果: 書籍の章/レポート/Proceedings会議への寄与査読

8 被引用数 (Scopus)

抄録

One of the simple approaches to paraconsistent logic is in terms of three-valued logics. Assuming the standard behavior with respect to the “classical"values, there are only two possibilities for paraconsistent negation, namely the negation of the Logic of Paradox and the negation of Sette’s logic P 1. From a philosophical perspective, the paraconsistent negation of P 1 is less discussed due to the lack of an intuitive reading of the third value. Based on these, the aim of this paper is to fill in the gap by presenting a semantics for P 1 à la Jaśkowski which sheds some light on the intuitive understanding of Sette’s logic. A variant of P 1 known as I 1 will be also discussed.

本文言語英語
ホスト出版物のタイトルBusiness Process Management - 15th International Conference, BPM 2017, Proceedings
編集者Jeremy Seligman, Tomoyuki Yamada, Alexandru Baltag
出版社Springer Verlag
ページ451-465
ページ数15
ISBN(印刷版)9783319649993
DOI
出版ステータス出版済み - 2017
イベント15th International Conference on Business Process Management, BPM 2017 - Barcelona, スペイン
継続期間: 2017 9月 102017 9月 15

出版物シリーズ

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

会議

会議15th International Conference on Business Process Management, BPM 2017
国/地域スペイン
CityBarcelona
Period17/9/1017/9/15

フィンガープリント

「Sette’s logics, revisited」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル