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

Superproducts of Lattices, Boolean and DeMorgan algebras
by
Yu. M. Movsisyan
Yerevan State University
Coauthors: A.B. Romanowska (Warsaw University of Technology), J.D.H. Smith (Iowa State University)

We consider the category of algebras with bihomomorphisms (j, [(y)\tilde] ) as morphisms, where:
j[ A(x1, ..., xn)]=(
~
y
 
 A) ( jx1, ..., jxn).
This category we denote by [Alg\tilde]. Product in this category is called a superproduct of algebras.

We describe superproducts of lattices, modular lattices, distributive lattices, Boolean and DeMorgan algebras. In particular, we get the Ginsberg-Fitting theorem for bounded bilattices in logic programming and Tarski-Yershov theorem on solvability of elementary theory of Boolean algebras.

PDF

Date received: June 3, 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-24.