Results 201 to 210 of about 218,624 (251)
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 +4 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jakubík, Ján
openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS
The Journal of Symbolic Logic, 2014AbstractIn this paper we try to apply universal algebraic geometry to MV algebras, that is, we study “MV algebraic sets” given by zeros of MV polynomials, and their “coordinate MV algebras”. We also relate algebraic and geometric objects with theories and models taken in Łukasiewicz many valued logic with constants.
Lawrence P. Belluce +2 more
openaire +2 more sources
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
MV-algebras with pseudo MV-valuations
Journal of Intelligent & Fuzzy Systems, 2019The concept of pseudo MV-valuations is proposed in the paper, and some related characterizations of pseudo MV-valuations are investigated. The relationships between the pseudo MV-valuations of homomorphic and isomorphic MV-algebras and the relationships between their kernels are presented.
Yongwei Yang 0001, Kuanyun Zhu
openaire +1 more source
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

