Similarity MV-algebras

Article type: Research Article

Authors: Gerla, B. | Leuştean, I.

Affiliations: DMI, University of Salerno, Italy. E-mail: bgerla@unisa.it | Faculty of Mathematics and Computer Science, University of Bucharest Str. Academiei 14, 70109, Bucharest, Romania. E-mail: ioana@funinf.cs.unibuc.ro

Abstract: 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.

Keywords: Many-valued logic, MV-algebras, similarities

Journal: Fundamenta Informaticae, vol. 69, no. 3, pp. 287-300, 2006