|
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 |
|
$\bottom$ is the least element: $\bottom\le x$ |
|
$\bot$ is the least element: $\bot\le x$ |
![[Home]](/structures.gif)