Results 201 to 210 of about 421,344 (241)

Varieties of MV-algebras

Journal of Applied Non-Classical Logics, 1999
ABSTRACT We characterize, for every subvariety V of the variety of all MV- algebras, the free objects in V. We use our results to compute coproducts in V and to provide simple single-axiom axiomatizations of all many-valued logics extending the Lukasiewicz one.
openaire   +2 more sources

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

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

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

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

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

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

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