Melbourne Logic Workshop

Thursday Dec 10

11 - Daniel Murfet — Complexity and linear logic

12 - Ross Brady — On the Law of Excluded Middle

2 - Tomasz Kowalski — TBA

3 - Szabolcs Mikulás — Residuated semigroups and substructural logics

Friday Dec 11

11 - Jake Chandler — The Irreducibility of Iterated to Single Revision

12 - Lloyd Humberstone  — Archetypal Rules -- A Conjectured Result in Need of a Proof

2 - Greg Restall — Generality and Existence 3: Identity and Substitution

3 - Shawn Standefer — Instability, contraction, and truth