Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Arieli, O., Avron, A.: Reasoning with logical bilattices. J. Log. Lang. Inf. 5(1), 25–63 (1996)
2. Belnap, N.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30–55. Oriel Press (1976)
3. Belnap, N.: A useful four-valued logic. In: Dunn, J., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8–37. D. Reidel Publishing Co. (1977)
4. ynthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science);J Benthem van,1993
5. De, M., Omori, H.: Classical negation and expansions of Belnap-Dunn logic. Stud. Log. 103(4), 825–851 (2015)