A new guide on linear logic! Much deeper than the usual "imagine a vending machine" guide, though I do mention the connection to that at the end lol. This is great for getting an intuition for substructural logics in academic papers, as well as the notorious multiple-conclusion sequents used in, say, type systems for safe parallelism. The post prior gives the necessary background on sequent calculus, if needed. This series is on much of the most beautiful theory ever, and I hope you enjoy!!
What are your plans for future posts in this series? You’ve done some nice work here. Where were you introduced to this subject? Looking forward to more, especially because your presentation is so clean.
hoping1|1 year ago
yo_yo_yo-yo|1 year ago
Cascais|1 year ago