Standard completeness of Hájek basic logic and decompositions of BL-chains
decompositions of totally ordered BL-algebras
scientific article; zbMATH DE number 5009484