A logical study of local and global graded similarities

In this work we study the relationship between global and local similarities in the graded framework of fuzzy class theory (FCT), in which there already exists a graded notion of similarity. In FCT we can express the fact that a fuzzy relation is reflexive, symmetric, or transitive up to a certain degree, and similarity is defined as a first-order sentence, which is the fusion of three sentences corresponding to the graded notions of reflexivity, symmetry, and transitivity. This allows us to speak in a natural way of the degree of similarity of a relation. We consider global similarities defined from local similarities using t-norms as aggregation operators, and we obtain some results in the framework of FCT that, adequately interpreted, allow us to say that when we take a t-norm as an aggregation operator, the properties of reflexivity, symmetry, and transitivity of fuzzy binary relations are inherited from the local to the global level, and that the global similarity is a congruence if some of the local similarities are congruence

A logical study of local and global graded similarities

In this work we study the relationship between global and local similarities in the graded framework of fuzzy class theory (FCT), in which there already exists a graded notion of similarity. In FCT we can express the fact that a fuzzy relation is reflexive, symmetric, or transitive up to a certain degree, and similarity is defined as a first-order sentence, which is the fusion of three sentences corresponding to the graded notions of reflexivity, symmetry, and transitivity. This allows us to speak in a natural way of the degree of similarity of a relation. We consider global similarities defined from local similarities using t-norms as aggregation operators, and we obtain some results in the framework of FCT that, adequately interpreted, allow us to say that when we take a t-norm as an aggregation operator, the properties of reflexivity, symmetry, and transitivity of fuzzy binary relations are inherited from the local to the global level, and that the global similarity is a congruence if some of the local similarities are congruences.The authors acknowledge support by the Spanish projects EdeTRI (TIN2012-39348-C02-01), COGNITIO (TIN2012-38450-C03-03), MILESS (TIN2013-45039-P), and MTM 2011-25747; and the grants 2014SGR-118 and 2014SGR-788 from the Genera-litat de CatalunyaPeer Reviewe