Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://elibrary.kdpu.edu.ua/xmlui/handle/123456789/9794Повний запис метаданих
| Поле DC | Значення | Мова |
|---|---|---|
| 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 |
| Розташовується у зібраннях: | Кафедра філософії | |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Шрамко с.287-297.pdf | 772.33 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.