1. Segerberg, K., Classical Propositional Operators, Clarendon Press, Oxford, 1982. Zbl 0491.03003 MR 83i:03001
2. Rasiowa, H., An Algebraic Approach to Non-Classical Logics, North-Holland, Amsterdam, 1974. Zbl 0299.02069 MR 56:5285
3. Arieli, O., and A. Avron, “Reasoning with logical bilattices,” Journal of Logic, Language, and Information, vol. 5 (1996), pp. 25–63. Zbl 0851.03017 MR 97c:03094
4. Avron, A., “Natural 3-valued logics: Characterization and proof theory,” The Journal of Symbolic Logic, vol. 56, (1991), pp. 276–94. Zbl 0745.03017 MR 93b:03032
5. Belnap, N. D., “A useful four-valued logic,” pp. 8–41 in Modern Uses of Multiple-Valued Logic, edited by M. Dunn and G. Epstein, D. Reidel, Dordrecht, 1977. Zbl 0424.03012 MR 58:5021