|
Organizers |
Ordered Groups in Logic
by
Constantine Tsinakis
Vanderbilt University
We propose a new paradigm for the study of various classes of residuated algebras (algebraic counterparts of propositional substructural logics) by viewing them as lattice-ordered groups with a suitable modal operator. This analysis makes precise the view that some of the most interesting algebras arising in algebraic logic are intimately related to lattice-ordered groups.
Date received: July 1, 2008
Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caxi-48.