Logica Universalis

, Volume 8, Issue 3–4, pp 393–406

The Institution-Theoretic Scope of Logic Theorems

  • Răzvan Diaconescu
  • Till Mossakowski
  • Andrzej Tarlecki
Article

DOI: 10.1007/s11787-013-0093-x

Cite this article as:
Diaconescu, R., Mossakowski, T. & Tarlecki, A. Log. Univers. (2014) 8: 393. doi:10.1007/s11787-013-0093-x

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.

Mathematics Subject Classification (2000)

Primary 03C95 Secondary 03C40 03B70 

Keywords

Institution theory abstract model theory interpolation definability 

Copyright information

© Springer Basel 2013

Authors and Affiliations

  • Răzvan Diaconescu
    • 1
  • Till Mossakowski
    • 2
  • Andrzej Tarlecki
    • 3
  1. 1.Simion Stoilow Institute of Mathematics of the Romanian AcademyBucharestRomania
  2. 2.DFKI GmbHBremenGermany
  3. 3.Institute of Informatics, University of WarsawWarsawPoland

Personalised recommendations