On the existence of states on mtl-algebras
Web19 de mar. de 2011 · MTL-algebras, introduced by Esteva and Godo ( 2001 ), are the algebraic structures for Monoidal t-norm based logic MTL which contains all fuzzy logics induced by left-continuous t-norms and their residua. IMTL-algebras and NM-algebras are the most known classes of MTL-algebras. Web19 de abr. de 2016 · As we know, MTL-algebras are special cases of bounded semihoops. From Theorem 3.17, we can obtain that our definition of being Glivenko actually coincides, on MTL-algebras, with the definition given in Cignoli . Theorem 3.18. Bosbach states and Rie c̆ an states coincide on a semihoop satisfying GP. Proof
On the existence of states on mtl-algebras
Did you know?
WebThese works generalize a series of existing results about existence of states in several algebras, such as residuated lattices, NM-algebras, MTL-algebras, BL-algebras and so on. How to cite: ISO 690: Xin, X., Ma, Y., Fu, Y. 2024. The existence of states on EQ-algebras. In Mathematica Slovaca, vol. 70, no.3, pp. 527-546. 0139-9918. WebR0-algebras [36], MTL-algebras [18], hoops [19] and residuated lattices [35], etc. ... method to check the existence of states on Glivenko semihoops. 123. 1148 P.Heetal. This paper is organized as follows: In Sect. 2, we review some results about semi …
WebThese works generalize a series of existing results about existence of states in several algebras, such as residuated lattices, NM-algebras, MTL-algebras, BL-algebras and so … WebIt is proved that Bosbach states, Riečan states and state-morphisms are equivalent on linearly ordered IMTL-algebras and that if L is locally finite, then L has a state if and only if H(L) is an MV-algebra. The aim of this paper is to study states on finite linearly ordered IMTL-algebras. We prove that Bosbach states, Riečan states and state-morphisms are …
WebIn the paper, we introduce 𝔏-fuzzy state filters in state residuated lattices and investigate their related properties, where 𝔏 is a complete Heyting algebra. Moreover, we study the 𝔏-fuzzy state co-annihilator of an 𝔏-fuzzy set with respect to an 𝔏-fuzzy state filter. Finally, using the 𝔏-fuzzy state co-annihilator, we investigate lattice structures of the set of some types ... Web29 de mar. de 2008 · The key result in the paper concerns two transformations, Phi(rho, psi) and B_t(psi) on states on the algebra of non-commutative polynomials, or equivalently …
Webical algebras have been proposed as the semantical systems of non-classical logic systems, for example, MV-algebras (Chang 1958), BL-algebras (Hájek 1998), MTL-algebras (Esteva and Godo 2001), R0-algebras (Wang 2000), hoops (Esteva et al. 2003) and residuated lattices (Ward and Dil-worth 1939). Among various logical algebras, …
WebRepresentations of abstract effect algebras was introduced in the literature [Sci.Sin.Math.,2011,41 (3):279-286],some examples of representable effect algebras and unrepresentable effect algebras were given there.However,a general criterion about the representations of effect algebras was not obtained.Based on the idea of the GNS … dich thai vietWeb19 de mar. de 2011 · Let L be a finite linearly ordered IMTL-algebra, we prove that if L is locally finite, then L has a state if and only if L is an MV-algebra, and that if L is peculiar … dichtheid ammoniakWeb13 de fev. de 2024 · States of MV-algebras have been the object of intensive study and attempts of generalizations. The aim of this contribution is to provide a preliminary investigation for states of prelinear semihoops and hyperstates of algebras in the variety generated by perfect and involutive MTL-algebras (IBP0-algebras for short). citizenm paris gare de lyon hotelWeb1 de jan. de 2024 · The main goal of this paper is to investigate pseudo EQ-algebras with internal states. To begin with, we introduce the notion of pseudo EQ-algebras with internal state (simplify, ISPEQ-algebra) and study its properties. Moreover, we discuss the relation between ISPEQ-algebras and states on pseudo EQ-algebras. dich thauWebAbstract. States of MV-algebras have been the object of intensive study and attempts of generalizations. The aim of this contribution is to provide a preliminary investigation for states of prelinear semihoops and hyperstates of algebras in the variety generated by perfect and involutive MTL-algebras (IBP0-algebras for short). dichtheid acetonWebThe aim of this paper is to investigate the existence of Bosbach states and Riečan states on MTL-algebras. We prove that an MTL-algebra L has Bosbach states if and only if L has an MV-filter. We also establish that L has a state-morphism if and only if L has a maximal MV-filter. Furthermore, we obtain the necessary and sufficient condition for an MTL … citizenm rooftopWeb1 de jan. de 2008 · This paper is devoted to discussing the existence of states and valuations of effect algebras. General forms of states and state spaces of some typical … citizenm prefab hotel bowery