|
|
|
|
Vol. 7(5), 2007
-
Section Logic
|
Generalized negative translations and interpolation
|
Walter Carnielli2,3; João Rasga1,3; Cristina Sernadas1,3
1
- DM,
IST, TU Lisbon, Portugal
2 - CLE
and IFCH, UNICAMP, Brazil
3
- SQIG
- IT, Portugal
|
|
| Date Posted: November, 23th 2007
Download Files: [PDF] |
ABSTRACT: A
general technique generalizing negative translations is presented for proving
interpolation of a deductive system. Negative translations are used as an
illustration of the technique.
AMS Classification: 03C40, 03F03, 03B22
Keywords: negative translation, interpolation
|
|
|
|
