Linear logic: Difference between revisions

Content deleted Content added
m Exponentials: Typography
We can make ⅋ link directly to the ⅋ page in the table, which I am now doing. This decision is questionably wise.
Line 55:
| colspan="2" |with
|-
|{{Anchor|⅋}}
|multiplicative [[Logical disjunction|disjunction]]
| colspan="2" |par