Atlas home || Conferences | Abstracts | about Atlas

BLAST 2008
August 6-10, 2008
University of Denver
Denver, CO, USA

Organizers
Rick Ball, Natasha Dobrinen (co-chair), Nikolaos Galatos (co-chair)

View Abstracts
Conference Homepage

On ordered structure of propositional models
by
Chihiro Oshima
Texas A&M INternational University

We introduce an order in propositional models and explore lattice structures that characterize propositional classes. Among these results, we obtain that a strict Horn class forms an algebraic lattice and that a non-strict Horn class forms an algebraic chopped lattice. We also prove that a (chopped) algebraic lattice is isomorphic to a (non)-strict Horn class.

PDF

Date received: May 28, 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-16.