I.R16 — Linear Logic Glossary

Reference glossary of Girard's linear logic (1987): multiplicative connectives (tensor, par), additive connectives (with, plus), exponential modalities (! of-course, ? why-not), linear negation. Without ! and ?, every proposition is used exactly once.