Finite commutative basic algebras are MV-effect algebras
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.
basic algebra mv-effect algebra lattice section antitone involution