On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
linguistic truth-valued lattice-valued logic
scientific article; zbMATH DE number 6130845