In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.
interpolation
propositional-logic
automated
reasoning
propositional-calculus
conjunctive-normal-form
propositional-proof-system
propositional-resolution
resolution-algorithm
propositional-logic-encodings
-
Updated
Aug 14, 2022 - Java