Abstract
This paper presents a graph implementation of natural deduction for rst-order intuitionistic logic. Studies on proof complexity and rewriting tend to focus solely on the structure of proofs and ignore the formulas that are the conclusions of each proof step. The current approach has the additional motivation of investigating
... read more