Ordered pair semantics and negation in LP
Matthew Clemens · The Australasian Journal of Logic · 2020
In this note, I present a modified semantic framework for the multi-valued paraconsistent logic LP, which allows for a straightforward preservation of a significant classical intuition about negation, namely that the negation operator reverses truth-value.