Mathematical Structures: History of Cancellative residuated lattices

History of Cancellative residuated lattices

Difference (from prior major revision) (author diff)

Removed: 1d0

Changed: 35c34

$\mathbf{L}=\langle L, \vee, \wedge,\cdot, e, \backslash, /\rangle$ such that

$\mathbf{L}=\langle L, \vee, \wedge, \cdot, e, \backslash, /\rangle$ such that

	Revision 3 . . June 28, 2004 5:08 am by Jipsen
	Revision 2 . . June 28, 2004 5:07 am by Jipsen
	Revision 1 . . February 26, 2003 11:44 pm by Peter Jipsen