“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 425 |
|
||||
| Abstract: | |||||
|
In this paper we give a new proof for the propositional fragment
of the translation theorem in [Ar96]. Our new proof has the
advantage that gives an effective bound, depending on the
complexity of formulas, on the translation.
Download TeX format |
|||||
| back to top | |||||
