Results 201 to 210 of about 1,656 (236)

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   +3 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

Extensions of MV-algebras

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

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

On Product MV-Algebras

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

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   +4 more sources

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

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

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   +3 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

ALGEBRAIC GEOMETRY FOR MV-ALGEBRAS

The Journal of Symbolic Logic, 2014
AbstractIn 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, DI NOLA, Antonio, LENZI, Giacomo   +2 more
openaire   +2 more sources