1. Belnap, N. D., How a Computer Should Think, in G. Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, 1976, pp. 30–56.
2. Belnap, N. D., A Useful Four-Valued logic, in J.M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, pp. 8–37.
3. Dunn, J.M., Intuitive Semantics for First-Degree Entailments and ‘Coupled Trees’, Philosophical Studies 29:149–168, 1976.
4. Muskens, R., and S. Wintein, Analytic Tableaux for all of SIXTEEN $$_3$$ 3 , Journal of Philosophical Logic 44(5):473–487, 2015.
5. Odintsov, S., On Axiomatizing Shramko-Wansing’s Logic, Studia Logica 91:407–428, 2009.