Abstract
We introduce a Gentzen-style sequent calculus axiomatization for Basic Predicate Calculus. Our new axiomatization is an improvement of the previous axiomatizations, in the sense that it has the subformula property. In this system the cut rule is eliminated.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have