An algebraic method for managing reliability in propositional logics | Publicación