Results 191 to 200 of about 421,344 (241)
Some of the next articles are maybe not open access.
Journal of Algebra and Its Applications, 2006
In this paper we introduce an extension of MV-algebras obtained by adding a binary operation and a constant, with the aim of modelling composition of functions. The variety of Composition MV-algebra (CMV-algebra, for short) is defined and some results regarding ideals and congruences are stated.
DI NOLA, Antonio, FLONDOR P, GERLA B.
openaire +2 more sources
In this paper we introduce an extension of MV-algebras obtained by adding a binary operation and a constant, with the aim of modelling composition of functions. The variety of Composition MV-algebra (CMV-algebra, for short) is defined and some results regarding ideals and congruences are stated.
DI NOLA, Antonio, FLONDOR P, GERLA B.
openaire +2 more sources
Studia Logica, 2005
Let \(A\) be a locally compact Hausdorff topological MV-algebra, and \(O(A)\) the frame of its open sets. In this paper it proved that, for every frame \(K\), the family \(\text{Hom}(O(A),K)\) of all frame homomorphisms of \(O(A)\) into \(K\) is endowed with a natural MV-algebraic structure.
DI NOLA, Antonio, BELLUCE L. P.
openaire +2 more sources
Let \(A\) be a locally compact Hausdorff topological MV-algebra, and \(O(A)\) the frame of its open sets. In this paper it proved that, for every frame \(K\), the family \(\text{Hom}(O(A),K)\) of all frame homomorphisms of \(O(A)\) into \(K\) is endowed with a natural MV-algebraic structure.
DI NOLA, Antonio, BELLUCE L. P.
openaire +2 more sources
2007
The authors introduce the class of Symmetric MV-algebras. Such algebras have a suitable behavior with respect to a family of MV-polynomials. It turns out that the class of Symmetric MV-algebras can be characterized as the class of MV-algebras having homomorphic image in the variety generated by a single MV-chain with p+1 elements, where p=1 or p is a ...
DI NOLA, Antonio, BELLUCE P, LETTIERI A.
openaire +3 more sources
The authors introduce the class of Symmetric MV-algebras. Such algebras have a suitable behavior with respect to a family of MV-polynomials. It turns out that the class of Symmetric MV-algebras can be characterized as the class of MV-algebras having homomorphic image in the variety generated by a single MV-chain with p+1 elements, where p=1 or p is a ...
DI NOLA, Antonio, BELLUCE P, LETTIERI A.
openaire +3 more sources
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dan Noje, Barnabás Bede
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dan Noje, Barnabás Bede
openaire +2 more sources
2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017
We study commutative idempotent semirings in general, and some examples in particular. We show that the class Red of semiring reducts of MV-algebras, although axiomatized by a first order theory, is not axiomatized by a geometric theory (in the topos-theoretic sense) or a universal-existential first order theory. Then we perform comparisons between the
DI NOLA, Antonio, LENZI, Giacomo
openaire +2 more sources
We study commutative idempotent semirings in general, and some examples in particular. We show that the class Red of semiring reducts of MV-algebras, although axiomatized by a first order theory, is not axiomatized by a geometric theory (in the topos-theoretic sense) or a universal-existential first order theory. Then we perform comparisons between the
DI NOLA, Antonio, LENZI, Giacomo
openaire +2 more sources
International Journal of Theoretical Physics, 2003
A difference poset (D-poset) is a partially ordered set \(P\) with a least element 0 and a greatest element 1 equipped with a partial binary difference operation \(\ominus\) such that, for all \(a,b,c\in P\), the following conditions are satisfied: (i) \(a \ominus 0=a\) (ii) \(a\leq b\leq c\) implies \(c \ominus b\leq c \ominus a\) and \((c\ominus a ...
Chovanec, Ferdinand, Jurečková, Mária
openaire +2 more sources
A difference poset (D-poset) is a partially ordered set \(P\) with a least element 0 and a greatest element 1 equipped with a partial binary difference operation \(\ominus\) such that, for all \(a,b,c\in P\), the following conditions are satisfied: (i) \(a \ominus 0=a\) (ii) \(a\leq b\leq c\) implies \(c \ominus b\leq c \ominus a\) and \((c\ominus a ...
Chovanec, Ferdinand, Jurečková, Mária
openaire +2 more sources
The Writing of the MV-algebras
Studia Logica, 1998Chang invented MV-algebras to give a neat, algebraic proof of the completeness of the Łukasiewicz axioms, after the syntactic proof of \textit{A. Rose} and \textit{J. B. Rosser} [Trans. Am. Math. Soc. 87, 1-53 (1958; Zbl 0085.24303)]. His completeness theorem shows that an equation holds for all MV-algebras iff it holds for the single MV-algebra given ...
openaire +3 more sources
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 +4 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 +4 more sources
Information Sciences, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Saeed Rasouli, Bijan Davvaz
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Saeed Rasouli, Bijan Davvaz
openaire +1 more source
Fuzzy Sets and Systems, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Manuela Busaniche +2 more
openaire +4 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Manuela Busaniche +2 more
openaire +4 more sources