## 15-816 Linear Logic |

After completing the discussion of intuitionistic linear logic,
negation, and the *why not* modality we identify the "missing
connectives". A generalization of natural deduction and the sequent
calculus to permit multiple conclusion gives rise to *classical
linear logic*. The symmetry of the sequents of classical linear
logic give rise to many pleasant laws, but just as in the step from
intuitionistic to classical logic, we lose some expressive power.

- Next: Lecture 18: Linear Logic Programming
- Previous: Lecture 16: Negation and Non-Termination
- Schedule

Frank Pfenning fp@cs