1. Lecture Notes in Computer Science;S. Akama,1997
2. Anderson, A.R., Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton (1975)
3. Anderson, A.R., Belnap, N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. 2. Princeton University Press, Princeton (1992)
4. Belnap, N.D.: A Useful Four-Valued Logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logics, pp. 8–37. Reidel, Dordrecht (1977)
5. Belnap, N.D.: Display Logic. Journal of Philosophical Logic 11, 375–417 (1982)