|
|||||
|
|
An Interpolation Theorem for First Order Logic with Infinitary Predicates |
|
| Authors: | Sayed-ahmed Tarek |
| Affiliation: | Department of Mathematics, Faculty of Science, Cairo University, Giza, Egypt. E-mail: rutahmed{at}rusys.eg.net |
| Abstract: | An interpolation Theorem is proved for first order logic withinfinitary predicates. Our proof is algebraic via cylindricalgebras.1 |
| Keywords: | Algebraic logic Craig Interpolation cylindric algebras |
| 本文献已被 Oxford 等数据库收录！ | |