Paolo Mascellani

Learn More
Paraconsistent logics are generally considered somewhat esoteric. Moreover, someone argued that they simply not exist, because paraconsistent negations are not negations. The aim of this work is to provide some valid reasons to reject both these assumptions. Negation as finite failure (NAF) is the standard way to compute negation, used, for instance, by all(More)
  • 1