Results 151 to 160 of about 2,017 (178)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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 +1 more source
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 +1 more source
Journal of Algebra and Its Applications, 2006
In this paper we introduce an extension of MV-algebras obtained by adding a binary operation and a constant, with the aim of modelling composition of functions. The variety of Composition MV-algebra (CMV-algebra, for short) is defined and some results regarding ideals and congruences are stated.
DI NOLA, Antonio, FLONDOR P, GERLA B.
openaire +2 more sources
In this paper we introduce an extension of MV-algebras obtained by adding a binary operation and a constant, with the aim of modelling composition of functions. The variety of Composition MV-algebra (CMV-algebra, for short) is defined and some results regarding ideals and congruences are stated.
DI NOLA, Antonio, FLONDOR P, GERLA B.
openaire +2 more sources
2007
The authors introduce the class of Symmetric MV-algebras. Such algebras have a suitable behavior with respect to a family of MV-polynomials. It turns out that the class of Symmetric MV-algebras can be characterized as the class of MV-algebras having homomorphic image in the variety generated by a single MV-chain with p+1 elements, where p=1 or p is a ...
DI NOLA, Antonio, BELLUCE P, LETTIERI A.
openaire +3 more sources
The authors introduce the class of Symmetric MV-algebras. Such algebras have a suitable behavior with respect to a family of MV-polynomials. It turns out that the class of Symmetric MV-algebras can be characterized as the class of MV-algebras having homomorphic image in the variety generated by a single MV-chain with p+1 elements, where p=1 or p is a ...
DI NOLA, Antonio, BELLUCE P, LETTIERI A.
openaire +3 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-Algebras and Quantum Computation
Studia Logica, 2006The 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 +3 more
openaire +2 more sources
Journal of Pure and Applied Algebra, 2013
The paper concerns hyperfinite MV-algebras, which are infinite models of the theory of finite MV-algebras. MV-algebras were introduced in the fifties by \textit{C. C. Chang} in [Trans. Am. Math. Soc. 88, 467--490 (1958; Zbl 0084.00704)] as the algebraic counterpart of Łukasiewicz infinite-valued logic. The article is divided into eight sections, and as
Belluce, Lawrence Peter +2 more
openaire +3 more sources
The paper concerns hyperfinite MV-algebras, which are infinite models of the theory of finite MV-algebras. MV-algebras were introduced in the fifties by \textit{C. C. Chang} in [Trans. Am. Math. Soc. 88, 467--490 (1958; Zbl 0084.00704)] as the algebraic counterpart of Łukasiewicz infinite-valued logic. The article is divided into eight sections, and as
Belluce, Lawrence Peter +2 more
openaire +3 more sources
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