Linear logic is a beautiful logical system taking advantage of the mechanisms of the sequent calculus. In this post we explore the various meanings of linear logic, and dig deep into the reasoning behind its peculiar development.| ryanbrewer.dev
1. Games in the History of Logic| plato.stanford.edu
How quickly free speech absolutism starts to resemble totalitarianism| klonick.substack.com