On the existence of states on mtl-algebras
Web13 de mar. de 2014 · We define the notions of Bosbach states and inf-Bosbach states on a bounded hyper BCK-algebra and derive some basic properties of them. We construct a … 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?
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 … Web19 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 …
Web1 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. Web1 de out. de 2011 · The 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 …
Web, On the existence of states on MTL-algebras, Inf. Sci. 220 (2013) 559 – 567. Google Scholar [15] Mundici D. , Averaging the truth value in Lukasiewicz sentential logic , Stud. Log. 55 ( 1995 ) 113 – 127 . Web1 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 …
Web1 de abr. de 2011 · The aim of this paper is to study the existences of Bosbach states and Riečan states on finite monoidal t-norm based algebras (MTL-algebras for short). We …
Webparticular ones of state-morphism BL-algebras, state-morphism MTL-algebras, state-morphism non-associative BL-algebras, and state-morphism pseudo MV-algebras. 1. Introduction A state, as an analogue of a probability measure, is a basic notion of the theory of quantum structures, see e.g. [14]. However, for MV-algebras, the state as averaging poor working condition is an example ofWeb1 de jan. de 2005 · It generalizes the usual probability measures on Boolean algebras. Consequently, the notion of states was extended to other logical algebras, such as BL … poor working conditions 1800Web1 de jan. de 2024 · [21] Kondo M., States on bounded commutative residuated lattices, Mathematica Slovaca 64 (2014), 1093 – 1104. Google Scholar Cross Ref [22] Liu L., On the existence of states on MTL-algebras, Information Sciences 220 (2013), 559 – 567. Google Scholar Digital Library [23] Liu L. and Zhang X., States on R0-algebras, Soft … sharepoint 2013 site collection templatesWeb13 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). sharepoint 2013 ssl configurationWeb3 de out. de 2024 · In this paper, we mainly introduce the concepts of states on pseudo EQ-algebras and investigate their properties and existence as well as their relationships. Firstly, we define some notions and investigate their properties, which will be used in the following sections. Then, we define the concepts of Bosbach states and state … sharepoint 2013 supported buildWebIn this paper, we investigate states and internal states on bounded semihoops. First, we introduce Bosbach states and Rieăźan states on bounded semihoops. We derive that Bosbach states are Rieăźan states on bounded semihoops, while the … sharepoint 2013 service accountsWebRepresentations 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 … sharepoint 2013 site usage reports