equivalentexchange.blog
J.-Y. Girard’s Linear Logic
Linear logic is a substructural logic invented (or discovered, if you’re a Platonist) by logician Jean-Yves Girard. Many other logics can be embedded into it, including classical and intuitionistic…