On two precomplete classes of three-valued _ukasiewicz’s logic

##plugins.themes.bootstrap3.article.main##

N.N. Prelovskiy

Abstract

Two submaximal classes of 3-valued functionally complete iterative system are characterized in the paper. These two classes are functionally precomplete classes of the famous _ukasiewicz’s logic.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Гаврилов Г.П. О мощности множеств замкнутых классов конечной высоты в РА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.