О двух предполных классах трехзначной логики Лукасевича
Article Sidebar
Опубликован:
03.05.2012
Ключевые слова:
логика Лукасевича, функциональный класс, предполный класс, логика Поста
Main Article Content
Аннотация
В статье описаны два предполных класса трехзначной логики Лукасевича, класс функций которой является предполным в трехзначной логике Поста (трехзначной функционально полной системе).
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Преловский Н. О двух предполных классах трехзначной логики Лукасевича // Логические исследования / Logical Investigations. 2012. Т. 18. C. 197-210.
Выпуск
Раздел
Статьи
Литература
Гаврилов Г.П. О мощности множеств замкнутых классов конечной высоты в РА0 // ДАН. 1964. Т. 158. №3. C. 503-506.
Гаврилов Г.П., Яблонский С.В. Функции алгебры логики и классы Поста. М.: Наука, 1966.
Захарова Е.Ю., Кудрявцев В.Б., Яблонский С.В. О предполных классах в k-значных логиках // ДАН. 1969. Т. 186. №3. C. 509-512.
Ивлев Ю.В. Модальная логика. М.: Изд-во Моск. ун-та, 1991.
Карпенко А.С. Логики Лукасевича и простые числа, М.: URSS, 2007.
Карпенко А.С. Многозначные логики / Cер. Логика и компьютер. М.: Наука, 1997.
Раца М.Ф. О классе функций трехзначной логики, соответствующем первой матрице Яськовского. Кишинев. C. 185-213.
Раца М.Ф. О классе функций логики, соответствующей первой матрице Яськовского // Исследования по общей алгебре. Кишинев. 1965. C. 99-110.
Финн В.К. О критерии функциональной полноты в В3 // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. C. 194-199.
Яблонский С.В. О функциональной полноте в трехзначном исчислении // ДАН. 1954. Т. 95. № 6. C. 1153-1155.
Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986.
Яблонский С.В. Функциональные построения в k-значной логике // Труды математического института имени В.А. Стеклова. 1958. Т. 51. С. 5-142.
Гаврилов Г.П., Яблонский С.В. Функции алгебры логики и классы Поста. М.: Наука, 1966.
Захарова Е.Ю., Кудрявцев В.Б., Яблонский С.В. О предполных классах в k-значных логиках // ДАН. 1969. Т. 186. №3. C. 509-512.
Ивлев Ю.В. Модальная логика. М.: Изд-во Моск. ун-та, 1991.
Карпенко А.С. Логики Лукасевича и простые числа, М.: URSS, 2007.
Карпенко А.С. Многозначные логики / Cер. Логика и компьютер. М.: Наука, 1997.
Раца М.Ф. О классе функций трехзначной логики, соответствующем первой матрице Яськовского. Кишинев. C. 185-213.
Раца М.Ф. О классе функций логики, соответствующей первой матрице Яськовского // Исследования по общей алгебре. Кишинев. 1965. C. 99-110.
Финн В.К. О критерии функциональной полноты в В3 // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. C. 194-199.
Яблонский С.В. О функциональной полноте в трехзначном исчислении // ДАН. 1954. Т. 95. № 6. C. 1153-1155.
Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986.
Яблонский С.В. Функциональные построения в k-значной логике // Труды математического института имени В.А. Стеклова. 1958. Т. 51. С. 5-142.