Event
Joseph Helfer, Stanford
Tuesday, November 21, 2017 14:30to15:30
Burnside Hall
Room 920, 805 rue Sherbrooke Ouest, Montreal, QC, H3A 0B9, CA
First-order homotopical logic
We will present a simplified version of the "homotopical" semantics for predicate logic with equality, which has hitherto only been considered in connection with dependent type theory, and we will explain what would ever motivate anyone to consider such a thing.