Results 161 to 170 of about 1,626 (175)
Some of the next articles are maybe not open access.
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.
GERLA, BRUNELLA, I. LEUSTEAN
openaire +3 more sources
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.
GERLA, BRUNELLA, I. LEUSTEAN
openaire +3 more sources
2016
C.C. Chang introduced MV-algebras as algebraic models for \({\L }\)ukasiewicz logic to give its algebraic analysis [1] and proved completeness of \({\L }\)ukasiewicz logic with respect to the variety of all MV-algebras. We give the definition of MV-algebra given originally by C.C. Chang in [1].
Antonio Di Nola +2 more
openaire +1 more source
C.C. Chang introduced MV-algebras as algebraic models for \({\L }\)ukasiewicz logic to give its algebraic analysis [1] and proved completeness of \({\L }\)ukasiewicz logic with respect to the variety of all MV-algebras. We give the definition of MV-algebra given originally by C.C. Chang in [1].
Antonio Di Nola +2 more
openaire +1 more source
Fuzzy Sets and Systems, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Manuela Busaniche +2 more
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Manuela Busaniche +2 more
openaire +3 more sources
Quasi-MV* algebras: a generalization of MV*-algebras
Soft Computing, 2022Yingying Jiang, Wenjuan Chen
openaire +1 more source
2000
Free algebras are universal objects: every n-generated MV-algebra A is a homomorphic image of the free MV-algebra Free n over n generators; if an equation is satisfied by Free n then the equation is automatically satisfied by all MV-algebras. As a consequence of the completeness theorem, Free n is easily described as an MV-algebra of piecewise linear ...
Roberto L. O. Cignoli +2 more
openaire +1 more source
Free algebras are universal objects: every n-generated MV-algebra A is a homomorphic image of the free MV-algebra Free n over n generators; if an equation is satisfied by Free n then the equation is automatically satisfied by all MV-algebras. As a consequence of the completeness theorem, Free n is easily described as an MV-algebra of piecewise linear ...
Roberto L. O. Cignoli +2 more
openaire +1 more source
2016
Local MV-algebras are MV-algebras with only one maximal ideal that, hence, contains all infinitesimal elements.
Antonio Di Nola +2 more
openaire +1 more source
Local MV-algebras are MV-algebras with only one maximal ideal that, hence, contains all infinitesimal elements.
Antonio Di Nola +2 more
openaire +1 more source
Studia Logica, 1996
The infinite-valued logic \(L_\infty\) (Lukasiewicz logic) was introduced as a generalization of classical logic. \textit{C. C. Chang} [Trans. Am. Math. Soc. 88, 467-490 (1958; Zbl 0084.00704)] introduced MV algebras in order to provide an algebraic proof of its completeness theorem.
openaire +3 more sources
The infinite-valued logic \(L_\infty\) (Lukasiewicz logic) was introduced as a generalization of classical logic. \textit{C. C. Chang} [Trans. Am. Math. Soc. 88, 467-490 (1958; Zbl 0084.00704)] introduced MV algebras in order to provide an algebraic proof of its completeness theorem.
openaire +3 more sources
Studia Logica, 2001
MV-algebras are an algebraic counterpart of Łukasiewicz infinite-valued propositional logic. By D. Mundici, they are in a one-to-one correspondence with unital abelian lattice-ordered groups (\(\ell \)-groups). Pseudo MV-algebras are a non-commutative generalization of MV-algebras, and \textit{A. Dvurečenskij} [``Pseudo MV-algebras are intervals in \(l\
openaire +1 more source
MV-algebras are an algebraic counterpart of Łukasiewicz infinite-valued propositional logic. By D. Mundici, they are in a one-to-one correspondence with unital abelian lattice-ordered groups (\(\ell \)-groups). Pseudo MV-algebras are a non-commutative generalization of MV-algebras, and \textit{A. Dvurečenskij} [``Pseudo MV-algebras are intervals in \(l\
openaire +1 more source
Fuzzy Sets and Systems
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dvurečenskij, A. +3 more
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dvurečenskij, A. +3 more
openaire +3 more sources
Submeasures on nuanced MV-algebras
Fuzzy Sets and Systems, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source