Resolution for Constrained Pseudo-Propositional Logic

Ahmad-Saher Azizi-Sultan

This work, shows how propositional resolution can be generalized to obtain a resolution proof system for constrained pseudo-propositional logic (CPPL), which is an extension result…