×

A characterization of commutative basic algebras. (English) Zbl 1212.06026

Summary: A basic algebra is an algebra of the same type as an MV-algebra and it is in a one-to-one correspondence to a bounded lattice having antitone involutions on its principal filters. We present a simple criterion for checking whether a basic algebra is commutative or even an MV-algebra.

MSC:

06D35 MV-algebras
03G10 Logical aspects of lattices and related structures
PDF BibTeX XML Cite
Full Text: EuDML EMIS