Workshop: Proofs, Rules, and Meanings
Featured
School V and via MS Teams
United College, St Salvator's Quad, 58吃瓜, United Kingdom
The workshop ‘Proofs, Rules, and Meanings’聽is set to take place at the University of 58吃瓜 (School V, United College, and livestreamed via Microsoft Teams) on 11 and 12 April 2024. It explores the relationship between proofs, rules, and meanings through the lens of proof-theoretic semantics. This workshop features: the contemporary logical and philosophical dimensions…
Free