|
Organizers |
Monadic GMV-algebras
by
Jiří Rachůnek
Palacký University, Olomouc, Czech Republic
Monadic MV-algebras are an algebraic model of the predicate calculus of the ukasiewicz infinite valued logic in which only a single individual variable occurs. GMV-algebras, or, equivalently, pseudo MV-algebras, are a non-commutative generalization of MV-algebras and are an algebraic counterpart of the non-commutative ukasiewicz infinite valued logic. We introduce monadic GMV-algebras as GMV-algebras with operators called existential quantifiers (or, dually, with universal quantifiers), investigate properties of monadic GMV-algebras and describe their characterizations by means of certain couples of GMV-algebras and by means of left adjoint mappings of canonical embeddings of GMV-algebras.
Date received: April 26, 2007
Copyright © 2007 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 # caug-11.