resolution-refutation

First-Order Logic Robinson syntactic unifier with occurs-check and resolution refutation theorem prover

First-Order Logic (FOL) resolution refutation automated theorem prover deriving empty clause contradictions for unsatisfiability proofs.

First-Order Logic Robinson syntactic unifier with occurs-check and resolution refutation theorem prover

First-Order Logic (FOL) resolution refutation automated theorem prover deriving empty clause contradictions for unsatisfiability proofs.

Command-line propositional logic theorem prover using resolution refutation over CNF clauses.

resolution refutation algorithm for propositional logic in python