Fuzzy logic interpretations in categories of fuzzy objects

Interpretations of first order fuzzy logic formulas in models based on two categories of sets with similarity relations as objects are introduced. Formulas are interpreted either as special morphisms in these categories, or f-cut systems, which generalize $\alpha$-cuts of classical fuzzy sets. Relationships between these two interpretations of formulas in corresponding categories are investigated.