Results 181 to 190 of about 230,290 (221)

Roughness in MV-algebras

Information Sciences, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Saeed Rasouli, Bijan Davvaz
openaire   +1 more source

Similarity MV-algebras

Fundamenta Informaticae, 2006
Similarities are an extension of equivalence relations to a fuzzy context. In this paper we introduce the class of similarity MV-algebras obtained as a generalization of the variety of MV-algebras by adding a binary operator playing the role of similarity. We further introduce the similarity Łukasiewicz logic and we prove a completeness theorem.
GERLA, BRUNELLA, I. LEUSTEAN
openaire   +4 more sources

Polyhedral MV-algebras

Fuzzy Sets and Systems, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Manuela Busaniche, Leonardo Manuel Cabrer, Daniele Mundici   +2 more
openaire   +3 more sources

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

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

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

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

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