equivalentexchange.blog
The Four Binary Operators of Linear Logic, Part 2
Ordinarily, inference rules in natural deduction are written using a horizontal line, with the known, true, assumed or proven things written above the line and the inferred things written below the…