Results 221 to 230 of about 218,624 (251)

MV-algebra of fractions and maximal MV-algebra of quotients

J. Multiple Valued Log. Soft Comput., 2004
Let \(A\) be an MV-algebra (MV-algebras have been introduced by C. Chang in 1958; for background see the monograph: \textit{R. Cignoli}, \textit{I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)), and let \(B(A)\) be the set of its Boolean elements.
Dumitru Busneag, Dana Piciu
openaire   +2 more sources

Extensions of MV-algebras

Soft Computing, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

On Product MV-Algebras

Czechoslovak Mathematical Journal, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

MV-Algebras and Quantum Computation

Studia Logica, 2006
The 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, KONIG M, PAOLI, FRANCESCO, GIUNTINI, ROBERTO   +3 more
openaire   +2 more sources

Quantum MV algebras

Studia Logica, 1996
The infinite-valued logic \(L_\infty\) (Lukasiewicz logic) was introduced as a generalization of classical logic. \textit{C. C. Chang} [Trans. Am. Math. Soc. 88, 467-490 (1958; Zbl 0084.00704)] introduced MV algebras in order to provide an algebraic proof of its completeness theorem.
openaire   +4 more sources

On archimedean MV-algebras

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

Products of Ideals in MV -algebras

Journal of Applied Non-Classical Logics, 2001
We look at a hierarchical arrangement of ideals in an MV -algebra. The principal classes of ideals studied are the maximals, the primes, the local and perfect ideals and the semi-locals. Beyond these special classes of ideals are the general ideals. Herein we study some relationships among these classes and, more specifically, the products of ideals of
L. P. BELLUCE, A. LETTIERI, SESSA, SALVATORE   +2 more
openaire   +2 more sources

Representations of MV-algebras by sheaves

Math. Log. Q., 2011
The authors propose a representation of MV-algebras in terms of sheaves having local MV-algebras as stalks. Their approach differs from the one of \textit{A. Filipoiu} and \textit{G. Georgescu} [Rev. Roum. Math. Pures Appl. 40, No. 7--8, 599--618 (1995, Zbl 0854.06014)] since they consider the spectrum of prime ideals and not the maximal ideals as in ...
R. Ferraioli, LETTIERI, ADA
openaire   +5 more sources

The Tensor PMV-algebra of an MV-algebra

2011 41st IEEE International Symposium on Multiple-Valued Logic, 2011
The classical construction of tensor algebra is done in the context of MV-algebras. We construct the tensor PMV-algebra of an MV-algebra, which yields an adjunction between the category of MV-algebras and the category of PMV-algebras. In particular, for any MV-algebra A, the tensor PMV-algebra of A is the free PMV-algebra over A.
openaire   +2 more sources

On the probability theory on MV algebras

Soft Computing, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources