Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics | IEEE Conference Publication | IEEE Xplore