Arrow Research search
Back to LORI

LORI 2017

Sette's Logics, Revisited

Conference Paper Long Papers Artificial Intelligence · Logic in Computer Science

Abstract

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

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
Logic, Rationality and Interaction
Archive span
2009-2025
Indexed papers
285
Paper id
247654639285036694
v2026.09.13