Similarity MV-algebras
Brunella Gerla, Ioana Leuştean · Fundamenta Informaticae · 2006
Similarities are an extension of equivalence relations to a fuzzy context. In this paper we introduce the class of similarity MV-algebras obtained as a generalization of the variety of MV-algebras by adding a binary operator playing the role of similarity. We further introduce the similarity Łukasiewicz logic and we prove a completeness theorem.