AIM & SCOPE
Ordered groups and group-like structures have played a prominent role in the development of logic extending back to Birkhoff's problem of finding a common abstraction of Boolean algebras and lattice ordered groups (l-groups). Indeed, the semantics of many important non-classical logics enjoy a close and rewarding relationship with ordered groups. Most famously, MV-algebras, the algebras of Lukasiewicz's infinite-valued logic, are categorically equivalent to abelian l-groups with a strong unit. More recent developments have revealed similar relationships between other non-classical logics and l-groups, possibly extended with a suitable modal operator. The aim of this meeting is to bring together distinguished experts on both ordered groups and non-classical logics with the purpose of developing connections and promoting further investigation into the interactions between the two areas.
The Shanks Endowment
and The Consortium for Order in Algebra and Logi
Dr. George Metcalfe, Vanderbilt University, email@example.com