Avron, Arnon: Theory of Effective Propositional Paraconsistent Logics