Results 151 to 160 of about 1,626 (175)
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
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
Representations of monadic MV -algebras
Studia Logica, 2005zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BELLUCE L. P, GRIGOLIA R, LETTIERI, ADA
openaire +3 more sources
MV-Algebras and Quantum Computation
Studia Logica, 2006The authors give a generalization of MV-algebras which is motivated by a study of quantum computing, namely of quantum logical gates. A prototypical example is a unit circle with the center \(\langle \frac{1}{2}, \frac{1}{2} \rangle.\) These algebras are called quasi-MV-algebras, and it is shown that they can be embedded into the direct product of an ...
LEDDA, ANTONIO +3 more
openaire +2 more sources
Journal of Pure and Applied Algebra, 2013
The paper concerns hyperfinite MV-algebras, which are infinite models of the theory of finite MV-algebras. MV-algebras were introduced in the fifties by \textit{C. C. Chang} in [Trans. Am. Math. Soc. 88, 467--490 (1958; Zbl 0084.00704)] as the algebraic counterpart of Ćukasiewicz infinite-valued logic. The article is divided into eight sections, and as
Belluce, Lawrence Peter +2 more
openaire +3 more sources
The paper concerns hyperfinite MV-algebras, which are infinite models of the theory of finite MV-algebras. MV-algebras were introduced in the fifties by \textit{C. C. Chang} in [Trans. Am. Math. Soc. 88, 467--490 (1958; Zbl 0084.00704)] as the algebraic counterpart of Ćukasiewicz infinite-valued logic. The article is divided into eight sections, and as
Belluce, Lawrence Peter +2 more
openaire +3 more sources
2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS), 2015
In this paper, we introduce the notion of tense operators on pseudo MV-algebras and give some properties and related results. We also introduce the notions of tense filter and tense homomorphism in tense pseudo MV-algebras and give some homomorphism theorems.
openaire +1 more source
In this paper, we introduce the notion of tense operators on pseudo MV-algebras and give some properties and related results. We also introduce the notions of tense filter and tense homomorphism in tense pseudo MV-algebras and give some homomorphism theorems.
openaire +1 more source
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Noje, D., Bede, B.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Noje, D., Bede, B.
openaire +1 more source
Czechoslovak Mathematical Journal, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Czechoslovak Mathematical Journal, 1998
An \(MV\)-algebra \(\mathcal A\) constructed by means of an abelian lattice ordered group \(G\) with a strong unit (\(G\) is uniquely determined by \(\mathcal A\)) is called archimedean (or semisimple) if \(G\) is archimedean. A non-empty subset \(\{a_j\mid j\in J\}\) of \(\mathcal A\) is said to be orthogonal if \(a_i\wedge a_j=0\) for all distinct ...
openaire +2 more sources
An \(MV\)-algebra \(\mathcal A\) constructed by means of an abelian lattice ordered group \(G\) with a strong unit (\(G\) is uniquely determined by \(\mathcal A\)) is called archimedean (or semisimple) if \(G\) is archimedean. A non-empty subset \(\{a_j\mid j\in J\}\) of \(\mathcal A\) is said to be orthogonal if \(a_i\wedge a_j=0\) for all distinct ...
openaire +2 more sources
Czechoslovak Mathematical Journal, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources

