Frege and the resolution calculus
Peter Schroeder‐Heister · History and Philosophy of Logic · 1997
We reconstruct Frege’s treatment of certain deducibility problems posed by Boole. It turns out that in his formalization and solution of Boole’s problems Frege anticipates the idea of propositional resolution