Talk by George Metcalfe: Substructural Logics with Minimally True Tautologies

Speaker: Georg Metcalfe (University of Bern)

Research Topics:

• Proof Theory
• Non-Classical Logics
• Ordered Algebraic Structures