Abstract:
The problem of existence of finite generating systems in maximal clones of monotone functions of many-valued logic is considered. It is proved that if a finite bounded poset contains $\sup(x,y)$ or $\inf(x,y)$ for every two elements $x$ and $y$, then the clones of all monotone functions in this poset is finitely generated.
Keywords:functions of many-valued logic, clones, maximal clones of monotone functions of $P_k$.
Fulltext:
PDF file (497 kB)