Post #2526990

It’s neat to see that an old (fiddly, complicated) decidability argument I wrote up in the 1990s is getting some attention. Here, Raj Goré and Anthony Peigné formalise (and generalise) my decidability argument for display formulations of some substructural logics. This is interesting work, worth looking into. https://link.springer.com/article/10.1007/s11225-026-10239-8 #logic #prooftheory #rocqprover