Abstract
Given a residuated lattice L, we prove that the subset MV(L) of complement elements x * of L generates an MV-algebra if, and only if L is semi-divisible. Riečan states on a semi-divisible residuated lattice L, and Riečan states on MV(L) are essentially the very same thing. The same holds for Bosbach states as far as L is divisible. There are semi-divisible residuated lattices that do not have Bosbach states.
Similar content being viewed by others
References
Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 37:823–843
Cignoli R, Torres A (2002) Free algebras in varieties of BL-algebras with a Boolean retract. Algebra Univer 48:55–79
Ciungu LC, Bosbach and Riečan states on residuated lattices, pp 15. Manuscript
Chovanec F (1993) States and observables on MV-algebras. Tatra Mt Math Publ 3:467–490
Dvurečenskij A, Pulmannová S (2005) Conditional probability on σ-MV-algebras. Fuzzy Sets Systems 155:102–118
Dvurečenskij A, Rachůnek J (2005) On Riečan and Bosbach states for bounded non-commutative Rl-monoids. Preprint series, Mathematical Institute of Slovak Academy of Science, Slovakia, pp 15
Dvurečenskij A, Rachůnek J (2006) Probabilistic averaging in bounded Rl-monoids. Semigroup Forum 72:190–206
Dvurečenskij A, Rachůnek J (2007) Probabilistic averaging in bounded commutative residuated l-monoids. Discrete Math (in press)
Georgescu G (2004) Bosbach states on fuzzy structures. Soft Computing 8:217–230
Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht
Kroupa T (2004) Conditional independence in probability theory on MV-algebras. Soft Computing 8:5634–538
Kroupa T (2005) Representation and extension of states on MV-algebras. Arch Math Logic (in press)
Lendelová K, Petrovičová J (2006) Representattion of IF-probability on MV-algebras. Soft Computing 10:564–566
Mundici D (1986) Interpretation of AF C *-algebras in Lukasiewicz sentential calculus. J Funct Anal 65:15–63
Mundici D (1995) Averaging the truth-value in Lukasiewicz logic. Studia Logica 55:113–127
Mundici D (2006) Bookmaking over infinite-valued events. J Appr Reason (in press)
Pulmannová S (2000) A note on observables on MV-algebras. Soft Computing 4:45–48
Rachůnek J, Slezák V (2006) Negation in bounded commutative DRl-monoids. Czech Math J 56(131):755–763
Riečan B (2000) On the probability on BL-algebras. Acta Math Nitra 4:3–13
Riečan B, Mundici D (2002) Probability on MV-algebras. In: Pap E (ed) Handbook of measure theory, vol II, pp 869–909. Elsevier, Amsterdam
Turunen E (1999) Mathematics behind fuzzy logic. Springer, Heidelberg
Turunen E, Sessa S (2001) Local BL-algebras. Multiple Valued Logic 6(1–2):229–249
Author information
Authors and Affiliations
Corresponding author
Additional information
These results were obtained when the authors visited Academy of Science, Czech Republic, Institute of Comp. Sciences in Autumn 2006.
Rights and permissions
About this article
Cite this article
Turunen, E., Mertanen, J. States on semi-divisible residuated lattices. Soft Comput 12, 353–357 (2008). https://doi.org/10.1007/s00500-007-0182-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-007-0182-y