Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)

Christoph Wernhard, Wolfgang Bibel

The material presented in this paper contributes to establishing a basis deemed essential for substantial progress in Automated Deduction. It identifies and studies global features…