4 found
Sort by:
  1. Răzvan Diaconescu, Till Mossakowski & Andrzej Tarlecki (2014). The Institution-Theoretic Scope of Logic Theorems. Logica Universalis 8 (3-4):393-406.
    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 interpolation and 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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Andrzej Tarlecki (2014). Răzvan Diaconescu, Institution-Independent Model Theory. Studia Logica 102 (1):225-229.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki (2009). What is a Logic Translation? Logica Universalis 3 (1):95-124.
    We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be recovered by their abstract (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Robert Harper, Donald Sannella & Andrzej Tarlecki (1994). Structured Theory Presentations and Logic Representations. Annals of Pure and Applied Logic 67 (1-3):113-160.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation