Description:
[1] Гегель, Г.В.Ф. Наука логики. Т. 1, М.: «Мысль», 1970
[2] Карпенко, A.C. Истинностные значения. Что это такое? // Исследования по неклассическим логикам. М.: «Наука», 1989, с. 38
[3] Клини, С.К. Введение в метаматематику. М., 1957
[4] Поппер, К. Логика и рост научного знания. М.: «Прогресс», 1983
[5] Расева, E., Сикорский, Р. Математика метаматематики. М.: «Наука», 1972
[6] Смирнова Е.Д. Логическая семантика и философские основания логики. М.: Издательство МГУ, 1986
[7] Шрамко, Я.В. Американский план для интуиционистской логики 2: обобщенные интуиционистские модели // Online Journal Logical Studies, No. 5; 2000, ISBN 5-85593-141-2 (http : //www .logic. ru)
[8] Anderson A.R. and N.D. Belnap, Jr., Entailment The Logic of Relevance and Necessity, v. I, Princeton University Press, 1975
[9] Belnap, N.D., Jr. A useful four-valued logic, in: J.M. Dunn and G. Epstein (eds.), Modern Uses o f Multiple-Valued Logic, D. Reidel Publishing Co., Dordrecht, 1977, pp. 8-37.
[10] Belnap, N.D., Jr. How a computer should think, in: G. Ryle (ed.), Contemporary Aspects o f Philosophy, Oriel Press Ltd., Stocksfield, 1977, pp. 30-55.
[11] Costa, N. C. A. da. Calculus propositionnels pour les systemes formels inconsistants, Compes Rendus Acad. Sei. Vol. 257, 1963, pp. 3790-3792
[12] Dunn, J.M. Intuitive semantics for first-degree entailment and 'coupled trees', Philosophical Studies, 29, 1976, pp. 149-168.
[13] Dunn, J.M. A Comparative study of various model-theoretic treatmets of negation: a history of formal negation, in: D. M. Gabbay and H. Wansing (eds.), What is Negation?, Applied Logic Series, 13, Kluwer Academic Publishers, 1999, pp. 23-51.
[14] Frege, G. Funktion, Begriff Bedeutung. Fünf logische Studien. Vandenhoeck & Ruprecht, Göttingen, 1986
[15] Frege, G. Schriften zur Logik und Sprachphilosophie. Felix Meiner, Hamburg, 1990
[16] Ginsberg, M. Multi-valued logics, in: Proceedings o f AAAI-86, Fifth National Conference on Artificial Intellegence, Morgan Kaufman Publishers, Los Altos, 1986, pp. 243-247
[17] Jaskowski, S. Three contributions to the two-valued propositional calculus, Studia Logica, 34, 1975, pp. 121-132
[18] Lowe, E.J. The metaphysics of abstract objects, The Journal of Philosophy, XCII, 1995, pp. 509-524
[19] Lukasiewicz, J. On three-valued logic, in: Selected Works. Oxford, 1970, pp. 87-88
[20] Priest, G. The logic of paradox, Journal o f Philosophical Logic, 8, 1979, pp. 219-241
[21] Shramko, Y. Intuitionismus und Relevanz, Logos-Verlag, Berlin, 1999
[22] Shramko, Y., Dunn, J.M., Takenaka, T. The trilaticce of constructive truth values, 2000 (to appear in: Journal of Logic and Computation)