Béziau’s SP3A Logic and Logic Programming
Jaime Díaz, José Luis Carballido, Mauricio Osorio · Research in Computing Science · 2019
We present some three-valued paraconsistent logics, in particular SP3A logic which has been recently introduced as a genuine paraconsistent logic.After discussing the relevance of some rules in classical logic, we motivate the need for paraconsistency.Then we mention areas of applications of non-monotonic reasoning in terms of programming semantics, and mention the relationship that exists between these semantics and logics.In particular we show that logic SP3A belongs to the family of D-elemental logics; these logics can characterize one of the semantics useful in the area of non-monotonic reasoning.