Mathematical Structures: History of Involutive residuated lattices

[Home]History of Involutive residuated lattices

HomePage | RecentChanges | Login

Revision 4 . . July 24, 2004 2:16 pm by Jipsen
Revision 3 . . July 24, 2004 2:15 pm by Jipsen
Revision 2 . . July 24, 2004 2:13 pm by Jipsen
Revision 1 . . July 8, 2004 2:44 pm by Jipsen
  
Difference (from prior major revision) (no other diffs)

Changed: 40c40
$xy\le z\iff x\le \neg(y(\neg z)\iff y\le \neg((\neg z)x)$
$xy\le z\iff x\le \neg(y(\neg z))\iff y\le \neg((\neg z)x)$
HomePage | RecentChanges | Login
Search: