Results 211 to 220 of about 421,354 (246)

On pseudo MV-algebras

Soft Computing, 2001
The author investigates a noncommutative generalization of the notion of (Chang) MV-algebra, introduced by Georgescu and Iorgulescu, which is thought of as the unit interval of a lattice-ordered Abelian group with strong unit. Various kinds of conditions are given ensuring commutativity, thus recovering the categorical equivalence between MV-algebras ...
openaire   +2 more sources

Perfect MV-algebras and their Logic

Applied Categorical Structures, 2007
An algebra \((A, \oplus, \neg, 0)\) of type (2,1,0) is called MV-algebra if \((A,\oplus, 0)\) is a commutative monoid, \(x\oplus 1=1\), \(\neg \neg x=x\) and \(\neg (\neg x \oplus y)\oplus y=\neg (\neg y \oplus x)\oplus x\) for every \(x,y\in A\) (where \(\neg 0=1\)). For \(x\in A\), the least integer \(n\) for which \(nx=1\) is called the order of \(x\
DI NOLA, Antonio, BELLUCE P, GERLA B.
openaire   +3 more sources

Quasi-MV* algebras: a generalization of MV*-algebras

Soft Computing, 2022
Yingying Jiang, Wenjuan Chen
openaire   +1 more source

Extensions of MV-algebras

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

Representations of monadic MV -algebras

Studia Logica, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BELLUCE L. P, GRIGOLIA R, LETTIERI, ADA
openaire   +4 more sources

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

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