Monadic Basic Algebras
Ivan Chajda, Miroslav Kolařík · Czech digital mathematics library · 2008
summary:The concept of monadic MV-algebra was recently introduced by A. Di Nola and R. Grigolia as an algebraic formalization of the many-valued predicate calculus described formerly by J. D. Rutledge [9]. This was also genaralized by J. Rachůnek and F. Švrček for commutative residuated $\ell $-monoids since MV-algebras form a particular case of this structure. Basic algebras serve as a tool for the investigations of much more wide class of non-classical logics (including MV-algebras, orthomodular lattices and their generalizations). This motivates us to introduce the monadic basic algebra as a common generalization of the mentioned structures.