«ИЗВЕСТИЯ ИРКУТСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА». СЕРИЯ «МАТЕМАТИКА»
«IZVESTIYA IRKUTSKOGO GOSUDARSTVENNOGO UNIVERSITETA». SERIYA «MATEMATIKA»
«THE BULLETIN OF IRKUTSK STATE UNIVERSITY». SERIES «MATHEMATICS»
ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

Список выпусков > Серия «Математика». 2013. Том 3

Об одном семействе классов монотонных функций многозначной логики, не имеющих конечного базиса

Автор(ы)
Д. Ю. Панин
Аннотация

В работе исследуются свойства классов функций многозначной логики монотонных относительно частично упорядоченных множеств ширины два.

Ключевые слова
многозначная логика монотонные функции конечный базис континуальные цепи
УДК
519.716.2
Литература

1. Дудакова О. С. Об одном семействе предполных классов функций k-значной логики, не имеющих конечного базиса / О. С. Дудакова // Вестн. Моск. ун-та. Математика. Механика. – 2006. – Вып. 2. – C. 29–32.

2. Дудакова О. С. О классах функций k-значной логики, монотонных относительно множеств ширины два / О. С. Дудакова // Вестн. Моск. ун-та. Математика. Механика. – 2008. – Вып. 1. – C. 31–37.

3. Дудакова О. С. О конечной порожденности предполных классов монотонных функций многозначной логики / О. С. Дудакова // Мат. вопр. кибернетики. – М. : Физматлит, 2008. – Вып. 17. – C. 13–104.

4. Панин Д. Ю. Критерии полноты для некоторых классов монотонных одноместных функций в Pk / Д. Ю. Панин // Вестн. Моск. ун-та. Математика. Механика. – 2013. – Вып. 3. – С. 57–61.

5. Яблонский С. В. Введение в дискретную математику / С. В. Яблонский. – М. : Высш. шк., 2008.

6. Янов Ю. И. О существовании k-значных замкнутых классов, не имеющих конечного базиса /Ю. И. Янов, A. A. Мучник // Докл. АН СССР. – 1959. –Т. 127, № 1. – С. 44–46.

7. Demetrovis J. Construction of large sets of clones / J. Demetrovis, L. Hannak // Zeitschr. f. Math. Logik und Grundlagen. d. Math. – 1987. – Vol. 33. – P. 127–133.

8. Function algebras on finite sets: а basic course on many-valued logic and clone theory / D. Lau. – Berlin : Springer, 2006. – 668 p. – (Springer Monographs in Mathematics).

9. Post E. L. Introduction to a general theory of elementary propositions / E. L. Post // Amer. J. Math. – 1921. – Vol. 43, N 3. – P. 163–185.

10. Post. E. L. The two-valued iterative systems of mathematical logic / E. L. Post // Annals of Math. Studies. – Princeton Univ. Press, 1941. – Vol. 5.

11. P¨oschel R. Funktionen- und Relationenalgebren / R. P¨oschel, L. A. Kalu˜znin. – Berlin. 2191979.

12. Salomaa A. On the heights of closed sets of operations in finite algebras / A. Salomaa // Ann. Acad. Sci. Fennicae. Ser. AI. – 1965. – Vol. 363. – 12 p.

13. Salomaa A. On some algebraic notions in the theory of truth-functions / A. Salomaa // Acta Phillos. Fennicae. – 1965. – Vol. 18. – P. 193–201.

14. Tardos G. A not finitely generated maximal clone of monotone operations / G. Tardos // Order. – 1986. – Vol. 3. – P. 211-218.


Полная версия (русская)