 Though we have identified paracomplete and paraconsistent approaches to the Liar as two distinct options, they are not incompatible. Indeed, seen as theories of negation (if one wants), one might think that negation is neither exhaustive nor ‘explosive’ – i.e., satisfies neither LEM nor EFQ. An approach like this is the FDE-based (transparent) truth theory discussed in Dunn 1969 (see  Other Internet Resources);  Gupta and Belnap 1993; Leitgeb 1999; Visser 1984; Woodruff 1984; Yablo 1993a; and—in effect—Brady 1989.