Four-valued logics of truth, non-falsity, exact truth, and material equivalence

Adam Přenosil

The four-valued semantics of Belnap--Dunn logic, consisting of the truth values True, False, Neither, and Both, gives rise to several non-classical logics depending on which featur…