Propositional Resolution

MaRDI QIDQ40555swMATHFDO

Official website https://www.isa-afp.org/entries/PropResPI.html

Cited in

(15)

• Formalization of the resolution calculus for first-order logic
• theoremprover-museum
• GRAT
• Abstract Completeness
• Completeness theorem
• FOL Fitting
• Abstract Soundness
• Knuth Bendix Orders
• Incompleteness Theorems
• Paraconsistency
• Incredible Proof Machine
• Superposition Calculus
• Verified Prover
• FOL_Harrison
• Epistemic Logic

This page was built for software: Propositional Resolution