Standard completeness of Hájek basic logic and decompositions of BL-chains

Roberto Cignoli, Antoni Torrens. Standard completeness of Hájek basic logic and decompositions of BL-chains. Soft Comput., 9(12):862-868, 2005. [doi]

Abstract

Abstract is missing.