Name
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. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/s11787-013-0093-x | Logica Universalis |
Keywords | Field | DocType |
abstract model theory,interpolation | Discrete mathematics,Institutional model theory,Abstract model theory,Computer science,Interpolation,Algorithm,Narrative,Relevance logic | Journal |
Volume | Issue | ISSN |
8 | 3-4 | 1661-8300 |
Citations | PageRank | References |
0 | 0.34 | 15 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Razvan Diaconescu | 1 | 571 | 40.93 |
| Till Mossakowski | 2 | 1052 | 90.11 |
| Andrzej Tarlecki | 3 | 1514 | 124.61 |