|
Proceedings of the Yerevan State University, series Physical and Mathematical Sciences, 2012, Issue 3, Pages 14–16
(Mi uzeru142)
|
|
|
|
This article is cited in 9 scientific papers (total in 9 papers)
Mathematics
A functional representation of free De Morgan algebras
Yu. M. Movsisyan, V. A. Aslanyan Chair of Algebra and Geometry of YSU, Armenia
Abstract:
It is well known that free Boolean algebra on $n$ free generators is isomorphic to the Boolean algebra of Boolean functions of $n$ variables. The free distributive lattice on $n$ free generators is isomorphic to the 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.
Keywords:
antichain, monotone Boolean function, De Morgan function, free De Morgan algebra.
Received: 23.06.2012 Accepted: 28.08.2012
Citation:
Yu. M. Movsisyan, V. A. Aslanyan, “A functional representation of free De Morgan algebras”, Proceedings of the YSU, Physical and Mathematical Sciences, 2012, no. 3, 14–16
Linking options:
https://www.mathnet.ru/eng/uzeru142 https://www.mathnet.ru/eng/uzeru/y2012/i3/p14
|
Statistics & downloads: |
Abstract page: | 277 | Full-text PDF : | 69 | References: | 46 |
|