Proof System for Enriched Fuzzy BK Relational Calculi: Pt. 1 - Transforming Notations

Enriched fuzzy relational algebras based on BK-products of relations have representational and computational means for handling both, concrete numerical representations of relations extensively used in applications, as well as high level symbolic forms. Such forms can be used for symbolic manipulation of relations that have been abstracted from numerical representations. Symbolic forms can be handled equationally. Equations over BK-products can characterise relational properties in a universal way. The described tool facilitates transformations between these different forms.