1. O. Arieli, A. Avron, Reasoning with logical bilattices. J. Logic Lang. Inf. 5, 25–63 (1996)
2. O. Arieli, A. Avron, Bilattices and paraconsistency. Frontiers of Paraconsistent Logic, Studies in Logic and Computation, vol. 8 (2000), pp. 11–27
3. M. Baaz, C.G. Fermüller, G. Salzer, R. Zach, Labeled calculi and finite-valued logics. Studia Logica 61, 7–33 (1998)
4. N. Belnap, A useful four-valued logic, in Modern Uses of Multiple-valued Logic, ed. by J.M. Dunn, G. Epstein (D. Reidel, 1977), pp. 8–37
5. J.M. Font, Belnap’s four-valued logic and De Morgan lattices. Logic J. I.G.P.L. 5, 413–440 (1997)