Differences

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

bilattices [2012/06/16 00:18]
jipsen
bilattices [2012/06/16 00:18] (current)
jipsen
Line 4: Line 4:
====Definition==== ====Definition====
-A \emph{bilattice} is a structure $\mathbf{L}=\langle L,\vee,\wedge,\oplus,\otimes,\neg,rangle$ such that+A \emph{bilattice} is a structure $\mathbf{L}=\langle L,\vee,\wedge,\oplus,\otimes,\neg\rangle$ such that
$\langle L,\vee,\wedge\rangle $ is a [[lattice]], $\langle L,\vee,\wedge\rangle $ is a [[lattice]],