Mathematical Structures: History of Intuitionistic linear logic algebras

# History of Intuitionistic linear logic algebras

 Revision 3 . . July 24, 2004 1:59 pm by Jipsen Revision 2 . . July 24, 2004 1:58 pm by Jipsen Revision 1 . . July 8, 2004 2:44 pm by Jipsen

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

Changed: 34c34
 An intuitionistic linear logic algebra is a structure $\mathbf{A}=\langle A,\vee, \bottom, \wedge, \top, \cdot, 1, \backslash, /, 0, !\rangle$ of type $\langle 2, 0, 2, 0, 2, 0, 2, 2, 0, 1\rangle$ such that
 An intuitionistic linear logic algebra is a structure $\mathbf{A}=\langle A,\vee, \bot, \wedge, \top, \cdot, 1, \backslash, /, 0, !\rangle$ of type $\langle 2, 0, 2, 0, 2, 0, 2, 2, 0, 1\rangle$ such that

Changed: 38c38
 $\bottom$ is the least element: $\bottom\le x$
 $\bot$ is the least element: $\bot\le x$