Atlas home || Conferences | Abstracts | about Atlas

AAA76 - 76th Workshop on General Algebra (76. Arbeitstagung Allgemeine Algebra)
May 22-25, 2008
Department of Algebra, Johannes Kepler University Linz
Linz, Austria

Organizers
Erhard Aichinger, Peter Mayr, Matt Nickodemus, Günter Pilz

View Abstracts
Conference Homepage

Monadic basic algebras
by
Miroslav Kolařík
Department of Computer Science, Palacký University Olomouc; Tomkova 40, Olomouc, Czech Republic, 779 00
Coauthors: Ivan Chajda

The concept of monadic MV-algebra was recently introduced by A. Di Nola and R. Grigolia as an algebraic formalization of the many-valued predicate calculus described formerly by J.D. Rutledge. This was also genaralized by J. Rachunek and F. Svrcek for commutative residuated l-monoids since MV-algebras form a particular case of this structure. Basic algebras serve as a tool for the treaty of much more wide class of non-classical logics (including MV-algebras, orthomodular lattices and their generalizations). This motivates us to introduce the monadic basic algebra as a common generalization of the mentioned structures.

Date received: February 13, 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 # cawc-04.