Switch to: References

Add citations

You must login to add citations.
  1. Measures induced by units.Giovanni Panti & Davide Ravotti - 2013 - Journal of Symbolic Logic 78 (3):886-910.
    The half-open real unit interval an automorphism-invariant positive normalized linear functional onH. SinceHis representable as a uniformly dense set of continuous functions on its maximal spectrum, such functionals—in this context usually called states—amount to automorphism-invariant finite Borel measures on the spectrum. Different choices for the unit may be algebraically unrelated, but our second main result shows that the corresponding measures are always absolutely continuous w.r.t. each other, and provides an explicit expression for the reciprocal density.
    Download  
     
    Export citation  
     
    Bookmark  
  • Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices.Bin Zhao & Hongjun Zhou - 2013 - Archive for Mathematical Logic 52 (7-8):689-706.
    Bosbach and Riečan states on residuated lattices both are generalizations of probability measures on Boolean algebras. Just from the observation that both of them can be defined by using the canonical structure of the standard MV-algebra on the unit interval [0, 1], generalized Riečan states and two types of generalized Bosbach states on residuated lattices were recently introduced by Georgescu and Mureşan through replacing the standard MV-algebra with arbitrary residuated lattices as codomains. In the present paper, the Glivenko theorem is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The existence of states based on Glivenko semihoops.Pengfei He, Juntao Wang & Jiang Yang - 2022 - Archive for Mathematical Logic 61 (7):1145-1170.
    In this paper, we mainly investigate the existence of states based on the Glivenko theorem in bounded semihoops, which are building blocks for the algebraic semantics for relevant fuzzy logics. First, we extend algebraic formulations of the Glivenko theorem to bounded semihoops and give some characterizations of Glivenko semihoops and regular semihoops. The category of regular semihoops is a reflective subcategory of the category of Glivenko semihoops. Moreover, by means of the negative translation term, we characterize the Glivenko variety. Then (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • State-morphism MV-algebras.Antonio Di Nola & Anatolij Dvurečenskij - 2010 - Annals of Pure and Applied Logic 161 (2):161-173.
    We present a stronger variation of state MV-algebras, recently presented by T. Flaminio and F. Montagna, which we call state-morphism MV-algebras. Such structures are MV-algebras with an internal notion, a state-morphism operator. We describe the categorical equivalences of such state MV-algebras with the category of unital Abelian ℓ-groups with a fixed state operator and present their basic properties. In addition, in contrast to state MV-algebras, we are able to describe all subdirectly irreducible state-morphism MV-algebras.
    Download  
     
    Export citation  
     
    Bookmark   5 citations