Greg Restall on Nostr: I’m enjoying preparing my classes for next month‘s Nordic Logic Summer School in ...

I’m enjoying preparing my classes for next month‘s Nordic Logic Summer School in Reykjavik.

This will be the northernmost latitude at which I’ve eliminated cuts.

https://consequently.org/class/2024/nls-proof-theory/

#prooftheory #logic