Differences

This shows you the differences between two versions of the page.

de_morgan_monoids [2012/06/16 04:16]
jipsen
de_morgan_monoids [2012/06/16 04:19] (current)
jipsen
Line 16: Line 16:
Remark: It follows that $x''=x$ and that $(x\vee y)'=x'\wedge y'$. Remark: It follows that $x''=x$ and that $(x\vee y)'=x'\wedge y'$.
 +
 +Note that a De Morgan monoid is the same thing as a commutative distributive involutive residuated lattice.
==Morphisms== ==Morphisms==