An algebraic method for managing reliability in propositional logics.

Antonio Hernando, Eugenio Roanes-Lozano, Javier Montero

Browse the full ISKE paper archive.