“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 472 |
|
||||
| Abstract: | |||||
|
We introduce two Gentzen-style
sequent calculus axiomatizations for conservative extensions of basic
propositional logic. Our first axiomatization is an
improvement of [1], in the sense that it has a kind of the subformula
property and is a slight modification of [7]. In this system the cut rule
is eliminated.
The second axiomatization is a classical conservative extension of
basic propositional logic. Using these axiomatizations, we prove
interpolation theorems for basic propositional logic.
Download TeX format |
|||||
| back to top | |||||
