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"

Abstract:

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!

http://logic.uconn.edu/

Contact:

http://logic.uconn.edu/about/

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

#eventtitle
Control Panel