dc.contributor.author	Шрамко, Ярослав Владиславович
dc.date.accessioned	2024-04-26T08:43:21Z
dc.date.available	2024-04-26T08:43:21Z
dc.date.issued	2001
dc.identifier.citation	Шрамко Я. В. Онтологическая модель истиностных значений / Я. В. Шрамко // Комп'ютерне моделювання та інформаційні технології в науці, економіці та освіті : зб. наук. праць. - Кривий Ріг, 2001. - Т. 1. - С. 287-297.	uk
dc.identifier.uri	http://elibrary.kdpu.edu.ua/xmlui/handle/123456789/9794
dc.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)	uk
dc.language.iso	ru	uk
dc.publisher	КДПУ	uk
dc.subject	онтологічна модель	uk
dc.subject	висловлювання	uk
dc.subject	істинність	uk
dc.subject	логічний простір Белнапа	uk
dc.title	Онтологическая модель истиностных значений	uk
dc.type	Article	uk