Results 261 to 270 of about 1,568,516 (299)
Some of the next articles are maybe not open access.
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
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
Rendiconti del Circolo Matematico di Palermo, 1993
A classification of local MV-algebras is obtained. Specifically, these are either locally finite, perfect, or neither. An MV-algebra is local if and only if it has a unique maximal ideal. For a totally ordered MV- algebra \(T\), a necessary and sufficient condition for \(T/\text{Rad }T\) to be a retract of \(T\) is obtained.
L. P. Belluce +2 more
openaire +3 more sources
A classification of local MV-algebras is obtained. Specifically, these are either locally finite, perfect, or neither. An MV-algebra is local if and only if it has a unique maximal ideal. For a totally ordered MV- algebra \(T\), a necessary and sufficient condition for \(T/\text{Rad }T\) to be a retract of \(T\) is obtained.
L. P. Belluce +2 more
openaire +3 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.
Yang, Yongwei, Zhu, Kuanyun
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
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
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
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