Interpolation and definability in abstract logics |
| |
Authors: | Finn V Jensen |
| |
Institution: | 1. University of Aarhus, Danmark
|
| |
Abstract: | A semantical definition of abstract logics is given. It is shown that the Craig interpolation property implies the Beth definability property, and that the Souslin-Kleene interpolation property implies the weak Beth definability property. An example is given, showing that Beth does not imply Souslin-Kleene. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|