“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 | ||||||||||||||||||||||
