Classical and Multivalued Logics: Foundations and Computational Applications (LOGFAC) TIC2001-1577-C03