A correspondence between implicational fragment logics and fuzzy logics

This research report treats a correspondence between implicational fragment logics and fuzzy logics from the viewpoint of their algebraic semantics. The authors introduce monotone BI-algebras by loosening the axiomatic system of BCK-algebras. Also, we extend the algebras of fuzzy logics with weakly-associative conjunction from the case of the unit real interval to the case of a partially-ordered set. As the main result of this report, it is proved that the class of monotone BI-algebras with condition (S) coincides with the class of weakly-associative conjunctive algebras.