A correspondence between implicational fragment logics and fuzzy logics | IEEE Conference Publication | IEEE Xplore