Atlas home || Conferences | Abstracts | about Atlas

ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III (TANCL'07)
August 5-9, 2007
St Anne's College, University of Oxford
Oxford, England

Organizers
Mai Gehrke and Hilary Priestley

View Abstracts
Conference Homepage

Commutative chain basic algebras are MV-algebras
by
Jan Paseka
Dept. of Mathematics and Statistics, Masaryk University Brno

By a basic algebra is meant an MV-like algebra (A, ⊕, ¬, 0) of type < 2, 1, 0 > derived in a natural way from bounded lattices having antitone involutions on their principal filters. We show that chain basic algebras for which the operation ⊕ is commutative are MV-algebras and that complete commutative basic algebras are MV-algebras. This generalizes the results by Botur and Halas on finite commutative basic algebras and complete commutative basic algebras.

PDF

Date received: May 10, 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-39.