Author:
Movsisyan Yu. M.,Aslanyan V. A.,Manoogian Alex
Abstract
AbstractIt is commonly known that the free Boolean algebra on n free generators is isomorphic to the Boolean algebra of Boolean functions of n variables. The free bounded distributive lattice on n free generators is isomorphic to the bounded lattice of monotone Boolean functions of n variables. In this paper, we introduce the concept of De Morgan function and prove that the free De Morgan algebra on n free generators is isomorphic to the De Morgan algebra of De Morgan functions of n variables. This is a solution of the problem suggested by B. I. Plotkin.
Reference15 articles.
1. A characterization of De Morgan algebras Internat;Brzozowski;Algebra Comput,2001
2. On the representation of quasi - Boolean algebras Bull;Białynicki;Acad Polon Sci Ser Math Astronom Phys,1957
3. Hyperidentities and hypervarieties;Movsisyan;Sci Math Jpn,2001
4. Some comments on fuzzy normal forms Proceedings of the ninth IEEE International Conference on Fuzzy Systems FUZZ vol;Gehrke;IEEE,2000
5. Hyperidentities of De Morgan algebras Log Universal Algebra Algebraic Logic and Databases Kluwer Academic Publisher;Movsisyan;IGPL,2012
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Explicating Logical Independence;Journal of Philosophical Logic;2019-05-25
2. Characterization of zigzag De Morgan functions;Discrete Mathematics, Algorithms and Applications;2016-05-26