7 found
Sort by:
  1. Răzvan Diaconescu, Till Mossakowski & Andrzej Tarlecki (forthcoming). The Institution-Theoretic Scope of Logic Theorems. Logica Universalis:1-14.
    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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Razvan Diaconescu (2011). On Quasi-Varieties of Multiple Valued Logic Models. Mathematical Logic Quarterly 57 (2):194-203.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Răzvan Diaconescu & Marius Petria (2010). Saturated Models in Institutions. Archive for Mathematical Logic 49 (6):693-723.
    Saturated models constitute one of the powerful methods of conventional model theory, with many applications. Here we develop a categorical abstract model theoretic approach to saturated models within the theory of institutions. The most important consequence is that the method of saturated models becomes thus available to a multitude of logical systems from logic or from computing science. In this paper we define the concept of saturated model at an abstract institution-independent level and develop the fundamental existence and uniqueness theorems. (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. 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  
  5. Razvan Diaconescu (2007). Institutions, Madhyamaka and Universal Model Theory. In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. 41--65.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Marius Petria & Răzvan Diaconescu (2006). Abstract Beth Definability in Institutions. Journal of Symbolic Logic 71 (3):1002 - 1028.
    This paper studies definability within the theory of institutions, a version of abstract model theory that emerged in computing science studies of software specification and semantics. We generalise the concept of definability to arbitrary logics, formalised as institutions, and we develop three general definability results. One generalises the classical Beth theorem by relying on the interpolation properties of the institution. Another relies on a meta Birkhoff axiomatizability property of the institution and constitutes a source for many new actual definability results, (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Răzvan Diaconescu (2004). An Institution-Independent Proof of Craig Interpolation Theorem. Studia Logica 77 (1):59 - 79.
    We formulate a general institution-independent (i.e. independent of the details of the actual logic formalised as institution) version of the Craig Interpolation Theorem and prove it in dependence of Birkhoff-style axiomatizability properties of the actual logic.We formalise Birkhoff-style axiomatizability within the general abstract model theoretic framework of institution theory by the novel concept of Birkhoff institution.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation