Results 161 to 170 of about 2,047 (199)
Some of the next articles are maybe not open access.
2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS), 2015
In this paper, we introduce the notion of tense operators on pseudo MV-algebras and give some properties and related results. We also introduce the notions of tense filter and tense homomorphism in tense pseudo MV-algebras and give some homomorphism theorems.
openaire +1 more source
In this paper, we introduce the notion of tense operators on pseudo MV-algebras and give some properties and related results. We also introduce the notions of tense filter and tense homomorphism in tense pseudo MV-algebras and give some homomorphism theorems.
openaire +1 more source
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Noje, D., Bede, B.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Noje, D., Bede, B.
openaire +1 more source
Czechoslovak Mathematical Journal, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
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
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
Czechoslovak Mathematical Journal, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
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 +3 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 +3 more sources
2016
C.C. Chang introduced MV-algebras as algebraic models for \({\L }\)ukasiewicz logic to give its algebraic analysis [1] and proved completeness of \({\L }\)ukasiewicz logic with respect to the variety of all MV-algebras. We give the definition of MV-algebra given originally by C.C. Chang in [1].
Antonio Di Nola +2 more
openaire +1 more source
C.C. Chang introduced MV-algebras as algebraic models for \({\L }\)ukasiewicz logic to give its algebraic analysis [1] and proved completeness of \({\L }\)ukasiewicz logic with respect to the variety of all MV-algebras. We give the definition of MV-algebra given originally by C.C. Chang in [1].
Antonio Di Nola +2 more
openaire +1 more source
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
Quasi-MV* algebras: a generalization of MV*-algebras
Soft Computing, 2022Yingying Jiang, Wenjuan Chen
openaire +1 more source
2000
Free algebras are universal objects: every n-generated MV-algebra A is a homomorphic image of the free MV-algebra Free n over n generators; if an equation is satisfied by Free n then the equation is automatically satisfied by all MV-algebras. As a consequence of the completeness theorem, Free n is easily described as an MV-algebra of piecewise linear ...
Roberto L. O. Cignoli +2 more
openaire +1 more source
Free algebras are universal objects: every n-generated MV-algebra A is a homomorphic image of the free MV-algebra Free n over n generators; if an equation is satisfied by Free n then the equation is automatically satisfied by all MV-algebras. As a consequence of the completeness theorem, Free n is easily described as an MV-algebra of piecewise linear ...
Roberto L. O. Cignoli +2 more
openaire +1 more source