Computer science and multiple-valued logic : theory and applications