Differences

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

kleene_logic_algebras [2012/06/15 22:58]
jipsen created
kleene_logic_algebras [2012/06/15 22:59] (current)
jipsen
Line 13: Line 13:
==Morphisms== ==Morphisms==
-Let $\mathbf{A}$ and $\mathbf{B}$ be De Morgan algebras. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\rightarrow B$ that is a+Let $\mathbf{A}$ and $\mathbf{B}$ be Kleene logic algebras. A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\rightarrow B$ that is a
homomorphism: homomorphism: