Penn Arts & Sciences Logo

Logic and Computation Seminar

Tuesday, February 14, 2023 - 2:00pm

Wojciech Buszkowski

Adam Mickiewicz University

Location

University of Pennsylvania

online (contact Henry Towsner for link)

I survey some results on non-associative linear logics, contained in my papers published in 2016, 2017, 2019 and a paper of my PhD student P. Placzek  (2021), and some new ones. I consider (one-sided) sequent systems, algebras and phase spaces plus a linguistic interpretation of the latter.