The aim of this paper is to introduce and investigate (bounded commutative) monadic BE-algebras. It's proved that for each m-relatively complete subalgebra of a bounded commutative monadic BE-algebra, we can defined a bounded commutative monadic BE-algebra, moreover, each bounded commutative monadic BE-algebra is of this form. Also, some results about filters and congruences on a bounded commutative monadic BE-algebra are stated and a relation between bounded commutative monadic BE-algebras and monadic bounded residuated lattices is obtained.

No abstract