Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]

Pascal Kettmann, Hannes Strass, Jesse Heyninck +1

In logic programming, negation can be interpreted in various ways. Probably best known is the concept of "negation as failure", where "$notp$" is true if we have no evi…