Об одном семействе классов монотонных функций многозначной логики, не имеющих конечного базиса
| Авторы: | Д. Ю. Панин |
| Аннотация: | В работе исследуются свойства классов функций многозначной логики монотонных относительно частично упорядоченных множеств ширины два. |
| Ключевые слова: | многозначная логика; монотонные функции; конечный базис; континуальные цепи |
| УДК: | 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. |