Results 211 to 220 of about 421,344 (241)

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

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

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

On Free MV-Algebras

Czechoslovak Mathematical Journal, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

On the category of hyper MV‐algebras

Mathematical Logic Quarterly, 2008
AbstractIn this paper we study the category of hyper MV‐algebras and we prove that it has a terminal object and a coequalizer. We show that Jia's construction can be modified to provide a free hyper MV‐algebra by a set. We use this to show that in the category of hyper MV‐algebras the monomorphisms are exactly the one‐to‐one homomorphisms.
Shokoofeh Ghorbani, Esfandiar Eslami, Abbas Hasankhani   +2 more
openaire   +3 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

n-roots on MV-algebras

Fuzzy Sets and Systems
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dvurečenskij, A., Zahiri, O., Shenavaei, M., Borzooei, R.A.   +3 more
openaire   +3 more sources

Profinite MV-algebras and Multisets

Order, 2015
\textit{C. C. Chang} [Trans. Am. Math. Soc. 93, 74-80 (1959; Zbl 0093.01104)] introduced the equational class of MV-algebras as the Lindenbaum algebras of Łukasiewicz logic. He then gave an algebraic proof of the completeness theorem for this logic. Profinite MV-algebras are defined as inverse limits of finite MV-algebras.
openaire   +3 more sources

States on Pseudo MV-Algebras

Studia Logica, 2001
MV-algebras are an algebraic counterpart of Łukasiewicz infinite-valued propositional logic. By D. Mundici, they are in a one-to-one correspondence with unital abelian lattice-ordered groups (\(\ell \)-groups). Pseudo MV-algebras are a non-commutative generalization of MV-algebras, and \textit{A. Dvurečenskij} [``Pseudo MV-algebras are intervals in \(l\
openaire   +2 more sources