Mathematical Structures: History of FLe-algebras

History of FLe-algebras

Difference (from prior major revision) (author diff)

Changed: 46c46

$h(x\vee y)=h(x)\vee h(y)$, $h(\bot )=\bot \$, $h(x\wedge y)=h(x)\wedge h(y)$, $h(\top )=\top$,

$h(x\vee y)=h(x)\vee h(y)$, $h(\bot )=\bot$, $h(x\wedge y)=h(x)\wedge h(y)$, $h(\top )=\top$,

	Revision 6 . . July 8, 2004 2:30 pm by Jipsen
	Revision 5 . . July 8, 2004 2:29 pm by Jipsen
	Revision 4 . . July 8, 2004 2:29 pm by Jipsen
	Revision 3 . . (edit) May 30, 2003 11:32 pm by Peter Jipsen