Title: computer science and multiple-valued logic theory and applications