Finite Commutative Basic Algebras are MV-Effect Algebras
Michal Botur and Radomír Halas
By a basic algebra is meant an algebra derived from a bounded lattice having antitone involutions on its principal filters. The main theorem of the paper states that finite commutative basic algebras are just MV-effect algebras.
MS classification. 06D35, 06F35, 03G10.