Results 201 to 210 of about 421,354 (246)
Some of the next articles are maybe not open access.
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
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
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
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
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
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
Journal of Applied Non-Classical Logics, 1999
ABSTRACT We characterize, for every subvariety V of the variety of all MV- algebras, the free objects in V. We use our results to compute coproducts in V and to provide simple single-axiom axiomatizations of all many-valued logics extending the Lukasiewicz one.
openaire +2 more sources
ABSTRACT We characterize, for every subvariety V of the variety of all MV- algebras, the free objects in V. We use our results to compute coproducts in V and to provide simple single-axiom axiomatizations of all many-valued logics extending the Lukasiewicz one.
openaire +2 more sources