Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions
scientific article; zbMATH DE number 1463105