| Publication type: |
Article |
| Author: |
Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki |
| Title: |
The Institution-Theoretic Scope of Logic Theorems |
| Page(s): |
1 – 14 |
| Journal: |
Logica Universalis |
| Year published: |
2013 |
| Abstract: |
In this essay we analyse and elucidate the method to establish and clarify the scope of logic theorems offered within the theory of institutions. The method presented pervades a lot of abstract model theoretic developments carried out within institution theory. The power of the proposed general method is illustrated with the examples of (Craig) interpolation and (Beth) definability, as they appear in the literature of institutional model theory. Both case studies illustrate a considerable extension of the original scopes of the two classical theorems. Our presentation is rather narrative with the relevant logic and institution theory concepts introduced and explained gradually to the non-expert reader |
| Internet: |
http://link.springer.com/article/10.1007/s11787-013-0093-x |
| PDF Version: |
http://iws.cs.uni-magdeburg.de/~mossakow/papers/ScopeLogicThm.pdf |
| Keywords: |
institution model-theoretic meta theorem |
| Status: |
Reviewed |
| Last updated: |
09. 02. 2015 |
