Proof System for Enriched Fuzzy BK Relational Calculi: Pt. 1 - Transforming Notations | IEEE Conference Publication | IEEE Xplore