Логика направленности и изменения Л. Роговского как функциональная система
Article Sidebar
Опубликован:
16.01.2007
Main Article Content
Аннотация
В этой статье мы доказываем функциональную полноту четырехзначной логики Роговского, сводя ее к нескольким известным функционально полным системам, используя критерий полноты Дж. Слупецкого. Мы также указываем базисы этой логики.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Стешенко Н. Логика направленности и изменения Л. Роговского как функциональная система // Логические исследования / Logical Investigations. 2007. Т. 13. C. 141-156.
Выпуск
Раздел
Статьи
Литература
Гаврилов Г.П., Сапоженко А. А. Задачи и упражнения по дискретной математике. М.: Физматлит, 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.