Subdirectly irreducible state-morphism BL-algebras

  • Authors:
  • Anatolij Dvurečenskij

  • Affiliations:
  • Mathematical Institute, Slovak Academy of Sciences, Bratislava, Slovakia 814 73

  • Venue:
  • Archive for Mathematical Logic
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Recently Flaminio and Montagna (Proceedings of the 5th EUSFLAT Conference, II: 201---206. Ostrava, 2007), (Inter. J. Approx. Reason. 50:138---152, 2009) introduced the notion of a state MV-algebra as an MV-algebra with internal state. We have two kinds: state MV-algebras and state-morphism MV-algebras. These notions were also extended for state BL-algebras in (Soft Comput. doi: 10.1007/s00500-010-0571-5 ). In this paper, we completely describe subdirectly irreducible state-morphism BL-algebras and this generalizes an analogous result for state-morphism MV-algebras presented in (Ann. Pure Appl. Logic 161:161---173, 2009).