This research has provided new results regarding the completeness of this logic with respect to the variety of monadic BL-algebras, as well as characterizations of various types of these algebras[2].