Automating deduction in non-classical logics: Signed resolution for many-valued logics | Faculdade de Ciências da Universidade de Lisboa Error Faculdade de Ciências da Universidade de Lisboa The website encountered an unexpected error. Please try again later.