Логика направленности и изменения Л. Роговского как функциональная система
##plugins.themes.bootstrap3.article.sidebar##
Published:
16.01.2007
##plugins.themes.bootstrap3.article.main##
Abstract
In this paper, we prove functional completeness of the four-valued logic of Rogowski by reduction to several well-known functionally complete systems by using J. Slupecki’s completeness criterion. We also indicate the bases of this logic.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Steshenko N. Логика направленности и изменения Л. Роговского как функциональная система // Logicheskie Issledovaniya / Logical Investigations. 2007. VOL. 13. C. 141-156.
Issue
Section
Papers
References
Гаврилов Г.П., Сапоженко А. А. Задачи и упражнения по дискретной математике. М.: Физматлит, 2004.
Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972.
Карпенко А.С. Многозначные логики. Логика и компьютер. Вып. 4. М.: Наука, 1997.
Саломаа А. Некоторые критерии полноты для множеств функций многозначной логики // Кибернетический сборник. Вып. 8. М.: Мир, 1964. С. 7-32.
Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986.
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Г. Функции алгебры логики и классы Поста. М.: Наука, 1966.
Яблонский С.В. Функциональные построения в k-значной логике // Труды МИАН СССР. 1958. Т. 51. С. 5-142.
Rogowski L.S. Logika kierunkowa a heglowska teza о sprzeczno^ci zmiany. Torun, 1969.
Slupecki J. A criterion of fullness of many-valued systems of propositional logic // Studia logica. Vol. XXX. 1972. P. 153-157.
Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972.
Карпенко А.С. Многозначные логики. Логика и компьютер. Вып. 4. М.: Наука, 1997.
Саломаа А. Некоторые критерии полноты для множеств функций многозначной логики // Кибернетический сборник. Вып. 8. М.: Мир, 1964. С. 7-32.
Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986.
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Г. Функции алгебры логики и классы Поста. М.: Наука, 1966.
Яблонский С.В. Функциональные построения в k-значной логике // Труды МИАН СССР. 1958. Т. 51. С. 5-142.
Rogowski L.S. Logika kierunkowa a heglowska teza о sprzeczno^ci zmiany. Torun, 1969.
Slupecki J. A criterion of fullness of many-valued systems of propositional logic // Studia logica. Vol. XXX. 1972. P. 153-157.