TY - GEN
T1 - Sette’s logics, revisited
AU - Omori, Hitoshi
N1 - Publisher Copyright:
© Springer-Verlag GmbH Germany 2017.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85029425379&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85029425379&partnerID=8YFLogxK
U2 - 10.1007/978-3-662-55665-8_31
DO - 10.1007/978-3-662-55665-8_31
M3 - Conference contribution
AN - SCOPUS:85029425379
SN - 9783319649993
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 451
EP - 465
BT - Business Process Management - 15th International Conference, BPM 2017, Proceedings
A2 - Seligman, Jeremy
A2 - Yamada, Tomoyuki
A2 - Baltag, Alexandru
PB - Springer Verlag
T2 - 15th International Conference on Business Process Management, BPM 2017
Y2 - 10 September 2017 through 15 September 2017
ER -