Mathematical Structures: History of Distributive lattices with operations

# History of Distributive lattices with operations

 Revision 2 . . July 10, 2004 1:51 pm by Jipsen Revision 1 . . July 8, 2004 1:51 pm by Jipsen

Difference (from prior major revision) (no other diffs)

Changed: 28,30c28,29
 \Large Name of class \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Template}{edit} % Note: replace "Template" with Name_of_class in previous line

Changed: 32c31
 \abbreviation{Abbr}
 \abbreviation{DLE}

Changed: 35,40c34
 A ... is a structure $\mathbf{A}=\langle A,...\rangle$ of type $\langle ...\rangle$ such that $\langle A,...\rangle$ is a \href{Name_of_class.pdf}{name of class} $op_1$ is (name of property): $axiom_1$
 A distrbutive lattice expansion is a structure $\mathbf{A}=\langle A,\vee,\wedge,f:f\in\mathcal F\rangle$ such that

Changed: 42c36,37
 $op_2$ is ...: $...$
 $\langle A,\vee, \wedge\rangle$ is a \href{Distributive_lattices.pdf}{distributive lattice} and $\langle f:f\in\mathcal F\rangle$ is a sequence of additional operations on $A$.