Results 171 to 180 of about 230,290 (221)
Source theory discussion of deep inelastic scattering with polarized particles. [PDF]
Proc Natl Acad Sci U S A, 1975 Schwinger J.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dan Noje, Barnabás Bede
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dan Noje, Barnabás Bede
openaire +1 more source
2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017
We study commutative idempotent semirings in general, and some examples in particular. We show that the class Red of semiring reducts of MV-algebras, although axiomatized by a first order theory, is not axiomatized by a geometric theory (in the topos-theoretic sense) or a universal-existential first order theory. Then we perform comparisons between the
DI NOLA, Antonio, LENZI, Giacomo
openaire +2 more sources
We study commutative idempotent semirings in general, and some examples in particular. We show that the class Red of semiring reducts of MV-algebras, although axiomatized by a first order theory, is not axiomatized by a geometric theory (in the topos-theoretic sense) or a universal-existential first order theory. Then we perform comparisons between the
DI NOLA, Antonio, LENZI, Giacomo
openaire +2 more sources
The Writing of the MV-algebras
Studia Logica, 1998Chang invented MV-algebras to give a neat, algebraic proof of the completeness of the Łukasiewicz axioms, after the syntactic proof of \textit{A. Rose} and \textit{J. B. Rosser} [Trans. Am. Math. Soc. 87, 1-53 (1958; Zbl 0085.24303)]. His completeness theorem shows that an equation holds for all MV-algebras iff it holds for the single MV-algebra given ...
openaire +2 more sources
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 +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