Finite BL-algebras Original Research Article

BL-algebras were introduced by Hájek as algebraic structures of Basic Logic. The aim of this paper is to analyze the structure of finite BL-algebras. Extending the notion of ordinal sum, we characterize a class of finite BL-algebras, actually BL-comets. Then, just using BL-comets, we can represent any finite BL-algebra as a direct product of BL-comets. Furthermore we define a class of labelled trees, which can be one-to-one mapped onto finite BL-algebras.