Reasoning with logical bilattices
scientific article; zbMATH DE number 910426