Semi–Boolean and Hyper–Archimedean BL–Algebras
We analyze differences between BL–algebras and MV–algebras. The study has application in mathematical fuzzy logic as the Lindenbaum algebras of Lukasiewicz logic or Hájek’s BL–logics are MV–algebras or BL–algebras, respectively. We focus on possible generalizations of Boolean elements of a general BL–algebra L; we prove that an element x ∈ L is Boolean iff x ∨ x ∗ = 1. L is called semi–Boolean if, for all x ∈ L, x ∗ is Boolean. We prove that an MV–algebra L is semi–Boolean iff L is a Boolean algebra. A BL–algebra L is semi–Boolean iff L is a SBL–algebra. A BL–algebra L is called hyper–Archimedean if, for all x ∈ L, there is an n ≥ 1 such that x n is Boolean. We prove that hyper–Archimedean BL–algebras are MV–algebras. We discuss briefly the applications of our results in mathematical fuzzy logic.
KeywordsMathematical fuzzy logic BL–algrebra MV–algebra
Unable to display preview. Download preview PDF.
- 1.Cavaccini, V., Lettieri, A.: Some results on hyper–Archimedean MV–algebras. In: Barlotti, A., et al. (eds.) Combinatorics ’90, pp. 71–79. Elsevier, Amsterdam (1992)Google Scholar
- 5.Mertanen, J., Turunen, E.: Problematic extension of states on BL–algebras (submitted)Google Scholar
- 10.Turunen, E.: Semilocal BL–algeras. In: IX International IFSA Congress 2005, Beiing, China, 28–31 July 2005, pp. 252–256 (2005)Google Scholar