On Double Basic Algebras and Pseudo-effect Algebras

摘要

Double basic algebras are a counterpart of bounded lattices with order-antiautomorphisms on principal filters. In the paper, an independent axiomatization of double basic algebras is given and lattice pseudo-effect algebras are characterized in the setting of double basic algebras.