1. O. Arieli, A. Avron, Bilattices and paraconsistency. Frontiers of Paraconsistent Logic, Studies in Logic and Computation, vol. 8 (2000), pp. 11–27
2. M. Baaz, C.G. Fermüller, G. Salzer, R. Zach, Labeled calculi and finite-valued logics. Studia Logica 61, 7–33 (1998)
3. 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
4. J.A. Bergstra, A. Ponse, Process algebra with four-valued logic. J. Appl. Non-Class. Logics 10(1), 27–53 (2000)
5. J.M. Font, Belnap’s four-valued logic and De Morgan lattices. Logic J. I.G.P.L. 5(3), 413–440 (1997)