58吃瓜

Wee relaxed organisational meeting with tea and biscuits.

Pre-read session: Dorr, C. (2016), To Be F Is To Be G. Philosophical Perspectives, 30: 39-134. https://doi.org/10.1111/phpe.12079  

Pre-read session: Dorr, C. (2016), To Be F Is To Be G. Philosophical Perspectives, 30: 39-134. https://doi.org/10.1111/phpe.12079

Title: Inference behaviour semantics for all* connectives in two-dimensional sequent calculi Abstract: In this talk, I present inference behaviour semantics (IBS) for connectives in two-dimensional sequent calculi. IBS is a…