Workshop: Proofs, Rules, and Meanings
Featured
School V and via MS Teams
United College, St Salvator's Quad, 精东传媒, United Kingdom
The workshop ‘Proofs, Rules, and Meanings’聽is set to take place at the University of 精东传媒 (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