نتایج جستجو برای: sub mv algebra
تعداد نتایج: 298476 فیلتر نتایج به سال:
This paper provides a review on major ergodic features of semiindependent hyper MV –algebra dynamical systems. Theorems are presented to make contribution to calculate the entropy. Particularly, it is proved that the total entropy of those semi-independent hyper MV –algebra dynamical systems that have a generator can be calculated with respect to their generator rather than considering all the ...
Following the study of sharp domination in effect algebras, in particular, in atomic Archimedean MV-effect algebras it is proved that if an atomic MV-effect algebra is uniformly Archimedean then it is sharply dominating.
Let Gr be the affine Grassmannian for a connected complex reductive group G. Let CG be the complex vector space spanned by (equivalence classes of) Mirković-Vilonen cycles in Gr. The Beilinson-Drinfeld Grassmannian can be used to define a convolution product on MV-cycles, making CG into a commutative algebra. We show, in type A, that CG is isomorphic to C[N], the algebra of functions on the uni...
In previous investigations into the subject ([4], [9], [1]), p 0 quasi-MV algebras have been mainly viewed as preordered structures w.r.t. the induced preorder relation of their quasi-MV term reducts. In this paper, we shall focus on a di¤erent relation which partially orders cartesian p 0 quasi-MV algebras. We shall prove that: a) every cartesian p 0 quasi-MV algebra is embeddable into an inte...
Campylobacter is the leading cause of bacterial diarrheal disease worldwide. Although most episodes of campylobacteriosis are self-limiting, antibiotic treatment is usually needed in patients with serious enteritis, and especially in childrens or the elderly. In the last years, antibiotic resistance in Campylobacter has become a major public health concern and a great interest exists in develop...
We define the Lukasiewicz transform as a residuated map and a homomorphism between semimodules over the semiring reducts of an MV-algebra. Then we describe the “ Lukasiewicz Transform Based” ( LTB) algorithm for image processing, demonstrating its applicability.
Citation: Aversa L, Taioli S, Nardi MV, Tatti R, Verucchi R and Iannotta S (2015) The interaction of C60 on Si(111) 7×7 studied by supersonic molecular beams: interplay between precursor kinetic energy and substrate temperature in surface activated processes. Front. Mater. 2:46. doi: 10.3389/fmats.2015.00046 The interaction of C60 on Si(111) 7×7 studied by supersonic molecular beams: interplay ...
We investigate interpretations ‖ψ‖D of formulas ψ in a first order fuzzy logic in models D which are based on Ω-sets, i.e. sets with similarity relations with values in a complete MV-algebra Ω. These interpretations are fuzzy sets in some Ωsets. We show that if φ : D1 → D2 is a strong homomorphism between two models then there are also strong relationships between interpretations ‖ψ‖D1 and ‖ψ‖D...
The notions of bipolar fuzzy hyper MV-subalgebras, (weak) bipolar fuzzy hyper MV-deductive system and precisely weak bipolar fuzzy hyper MV-deductive system are introduced, and their relations are investigated. Characterizations of bipolar fuzzy hyper MV-subalgebras and weak bipolar fuzzy hyper MV-deductive systems are provided.
Ward and Dilworth 1 introduced the concept of residuated lattices as generalization of ideal lattices of rings. The residuated lattice plays the role of semantics for a multiple-valued logic called residuated logic. Residuated logic is a generalization of intuitionistic logic. Therefore it is weaker than classical logic. Important examples of residuated lattices related to logic are Boolean alg...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید