Theory of Effective Propositional Paraconsistent Logics