Representation of BL-algebras with finite independent spectrum

Abstract

A representation theorem for a class of BL-algebras with finite spectrum is presented. Although the class comprised by our result is not the whole class of BL-algebras with finite spectrum, it applies to some important classes such as finite BL-algebras and BL-chains with finite spectrum among others. Our representation constitutes a generalization of the ordinal sum construction, since we decompose each algebra in terms of totally ordered Wajsberg hoops.