Post #1262868

Oh, look! In a few weeks time I’m going to be over in Edinburgh, giving a talk the LFCS. https://informatics.ed.ac.uk/lfcs/lfcs-seminar-tuesday-5th-may-greg-restall If you’re in town on May 5 and like crazy proof theory, this could be fun. I’ll be talking about what happens when you take a hypersequent calculus for the modal logic S5, and *thoroughly* linearise it, removing all traces of contraction and weakening. The result is stranger than you might think. (Well, it was stranger than I first thought, anyway.) Along the journey we experience strange algebras, cut elimination and decidability arguments, and weird local/global perspective shifts. I learned a lot when thinking about this stuff, so hopefully the audience gets something out of it, too. #logic #prooftheory