University of Connecticut

Events Calendar

Logic Colloquium: Andrew Tedder (Prague)

Friday, November 16, 2018
2:00pm – 3:30pm

Storrs Campus
Oak 112

Join us in the Logic Colloquium for a talk by

Andrew Tedder (Czech Academy of Sciences, Prague)

"Residuals and Conjugates in Positive Substructural Logics"


While the relations between an operation and its residuals play an essential role in substructural logic, a closely related relation between operations is that of conjugation — so closely related that with Boolean negation, the conjugates and residuals of an operation are interdefinable. In this talk extensions of Positive Non-Associative Lambek Calculus including conjugates (and residuals) of fusion are investigated. Some interesting properties of the conjugates are discussed, a proof system is presented, its adequacy questioned, and some further logics with conjugated operations are pondered.

All welcome!


UConn Logic Group Colloquium (primary), Philosophy Department, UConn Master Calendar

Control Panel