Results 151 to 160 of about 222 (197)
Some of the next articles are maybe not open access.
Studia Logica, 2005
Let \(A\) be a locally compact Hausdorff topological MV-algebra, and \(O(A)\) the frame of its open sets. In this paper it proved that, for every frame \(K\), the family \(\text{Hom}(O(A),K)\) of all frame homomorphisms of \(O(A)\) into \(K\) is endowed with a natural MV-algebraic structure.
DI NOLA, Antonio, BELLUCE L. P.
openaire +2 more sources
Let \(A\) be a locally compact Hausdorff topological MV-algebra, and \(O(A)\) the frame of its open sets. In this paper it proved that, for every frame \(K\), the family \(\text{Hom}(O(A),K)\) of all frame homomorphisms of \(O(A)\) into \(K\) is endowed with a natural MV-algebraic structure.
DI NOLA, Antonio, BELLUCE L. P.
openaire +2 more sources
International Journal of Theoretical Physics, 2003
A difference poset (D-poset) is a partially ordered set \(P\) with a least element 0 and a greatest element 1 equipped with a partial binary difference operation \(\ominus\) such that, for all \(a,b,c\in P\), the following conditions are satisfied: (i) \(a \ominus 0=a\) (ii) \(a\leq b\leq c\) implies \(c \ominus b\leq c \ominus a\) and \((c\ominus a ...
Chovanec, Ferdinand, Jurečková, Mária
openaire +2 more sources
A difference poset (D-poset) is a partially ordered set \(P\) with a least element 0 and a greatest element 1 equipped with a partial binary difference operation \(\ominus\) such that, for all \(a,b,c\in P\), the following conditions are satisfied: (i) \(a \ominus 0=a\) (ii) \(a\leq b\leq c\) implies \(c \ominus b\leq c \ominus a\) and \((c\ominus a ...
Chovanec, Ferdinand, Jurečková, Mária
openaire +2 more sources
Information Sciences, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Saeed Rasouli, Bijan Davvaz
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Saeed Rasouli, Bijan Davvaz
openaire +1 more source
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
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
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
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
Fuzzy Sets and Systems, 2016
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Manuela Busaniche +2 more
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Manuela Busaniche +2 more
openaire +3 more sources
Perfect MV-algebras and their Logic
Applied Categorical Structures, 2007An 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
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
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
Representations of monadic MV -algebras
Studia Logica, 2005zbMATH 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., 2004Let \(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