1. Belnap, N. (1977а) A Useful Four-Valued Logic, in: J. M. Dunn and G, I p stein (eds.), Modern Uses o f Multiple-Valued Logic, D. Reidel Publish. Co Dordrecht, pp. 8-37. 2. Belnap, N. (1977b) How a Computer Should Think, in: G. Ryle (ed.), Contivi porary Aspects o f Philosophy, Oriel Press Ltd,, Stocksfield, pp. 30-55. 3. Shramko, Y. (1999a) Semantic Representation of Inconsistent Intuitionistic Theories, Logical Studies, no. 2 (Online Journal, http://www.logic.ru/LogStud/02/LS2.html, ISBM 5-85593-128-5) 4. Shramko, Y. (1999b) Intuitionismus und Relevanz, Logos-Verlag, Berlin