“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 2354 |
|
||||
| Abstract: | |||||
|
We introduce a Gentzen-style sequent calculus axiomatization for
Basic Predicate Calculus. Our new axiomatization is an improvement
of the previous axiomatization, in the sense that it has the
subformula property. In this system the cut rule is eliminated.
Download TeX format |
|||||
| back to top | |||||
