Fuzzy Implications in the Mizar System | IEEE Conference Publication | IEEE Xplore