Grammaticality as Provability

Invited @ Logic seminar of the University of Groningen
May 28, 2025

TBD.