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]], |
Trace: