# 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: | ||

Trace: