«THE BULLETIN OF IRKUTSK STATE UNIVERSITY». SERIES «MATHEMATICS»
«IZVESTIYA IRKUTSKOGO GOSUDARSTVENNOGO UNIVERSITETA». SERIYA «MATEMATIKA»
ISSN 1997-7670 (Print)
ISSN 2541-8785 (Online)

List of issues > Series «Mathematics». 2013. Vol. 3

A family of clones of monotone functions from multi-valued logic that are not finitely generated.

Author(s)
D. Yu. Panin
Abstract

The properties of clones of functions which are monotone with respect to a partially ordered set of width two are investigated.

Keywords
multi-valued logic monotone functions finite basis chains of continuum cardinality
UDC
519.716.2
References

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.


Full text (russian)