Standard completeness of Hájek basic logic and decompositions of BL-chains | Publicación