1. DSpace at KDPU
2. Електронні публікації
3. Факультет української філології
4. Кафедра філософії

Назва:	Онтологическая модель истиностных значений
Автори:	Шрамко, Ярослав Владиславович
Ключові слова:	онтологічна модель висловлювання істинність логічний простір Белнапа
Дата публікації:	2001
Видавництво:	КДПУ
Бібліографічний опис:	Шрамко Я. В. Онтологическая модель истиностных значений / Я. В. Шрамко // Комп'ютерне моделювання та інформаційні технології в науці, економіці та освіті : зб. наук. праць. - Кривий Ріг, 2001. - Т. 1. - С. 287-297.
Опис:	[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)
URI (Уніфікований ідентифікатор ресурсу):	http://elibrary.kdpu.edu.ua/xmlui/handle/123456789/9794
Розташовується у зібраннях:	Кафедра філософії

Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.