De Morgan Functions and Free De Morgan Algebras
It 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 pape...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
De Gruyter
2014-06-01
|
| Series: | Demonstratio Mathematica |
| Subjects: | |
| Online Access: | http://www.degruyter.com/view/j/dema.2014.47.issue-2/dema-2014-0021/dema-2014-0021.xml?format=INT |