An algebraic method for managing reliability in propositional logics - Hernando A; Roanes-Lozano E; Montero J (Proceedings Of 2010 Ieee International Conference On Intelligent Systems And Knowledge Engineering, Iske 2010, 2010)