De Morgan algebra

English Alternative forms en de Morgan algebra Etymology Named after British mathematician and logician Augustus De Morgan (1806–1871). The notion was introduced by Grigore Moisil. Noun De Morgan algebra en algebra order theory A bounded distributive lattice equipped with an involution (typically denoted ¬ or ~) which satisfies De Morgan's laws. en 1980 H. P. Sankappanavar A Characterization of Principal Congruences of De Morgan Algebras and its Applications A. I. Arruda; R. Chuaqui; N. C. A. Da Costa Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic https://books.google.com.au/books?id=Ep16l7ddULUC&pg=PA341&dq=%22De+Morgan+algebra%22%7C%22De+Morgan+algebras%22&hl=en&sa=X&ved=0ahUKEwiJrM2kr9fcAhW5HTQIHQXFD8UQ6AEILzAB#v=onepage&q=%22De%20Morgan%20algebra%22%7C%22De%20Morgan%20algebras%22&f=false 341 Finally it is shown that the compact elements in the congruence lattice of a De Morgan algebra form a Boolean sublattice. en 2000 Luo Congwen Topological De Morgan Algebras and Kleene-Stone Algebras: The Journal of Fuzzy Mathematics, Volume 8, Pages 1-524 https://books.google.com.au/books?id=F9rxAAAAMAAJ&q=%22De+Morgan+algebra%22%7C%22De+Morgan+algebras%22&dq=%22De+Morgan+algebra%22%7C%22De+Morgan+algebras%22&hl=en&sa=X&ved=0ahUKEwiJrM2kr9fcAhW5HTQIHQXFD8UQ6AEIaDAN 268 By a topological de Morgan algebra we shall mean an abstract algebra where is a de Morgan algebra, en 2009 George Rahonis Chapter 12: Fuzzy Languages Manfred Droste; Werner Kuich; Heiko Vogler Handbook of Weighted Automata Springer https://books.google.com.au/books?id=AD1ad4jZUpkC&pg=PA486&dq=%22De+Morgan+algebra%22%7C%22De+Morgan+algebras%22&hl=en&sa=X&ved=0ahUKEwiJrM2kr9fcAhW5HTQIHQXFD8UQ6AEIkgEwFg#v=onepage&q=%22De%20Morgan%20algebra%22%7C%22De%20Morgan%20algebras%22&f=false 486 If is a bounded distributive lattice with negation function (resp. a De Morgan algebra), then constitutes also a bounded distributive lattice with negation function (resp. a De Morgan algebra); for every its negation is defined by for every . Hypernyms en Ockham algebra en distributive lattice Hyponyms en Kleene algebra en Boolean algebra Translations bounded distributive lattice equipped with an involution satisfying De Morgan's laws Further reading De Morgan's laws Complemented lattice en eponyms