An algebraic method for managing reliability in propositional logics | IEEE Conference Publication | IEEE Xplore