|
Organizers |
Canonicity, duality, and correspondence
by
Mai Gehrke
New Mexico State University
In this talk we introduce canonical extensions of lattice ordered algebras and show how these relate to topological duality. Applying a recent generalization of Sahlqvist theory from modal logic, we show how canonicity and correspondence can be used to derive duality results for variaties of distributive lattice ordered algebras.
Date received: March 5, 2003
Copyright © 2003 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 Mathematical Conference Abstracts. Document # cajs-34.