4 found
  1. What is a Logic Translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki - 2009 - 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 (3 more)  
    Export citation  
    Bookmark   12 citations  
  2.  9
    Răzvan Diaconescu, Institution-Independent Model Theory.Andrzej Tarlecki - 2014 - Studia Logica 102 (1):225-229.
  3.  23
    Structured Theory Presentations and Logic Representations.Robert Harper, Donald Sannella & Andrzej Tarlecki - 1994 - Annals of Pure and Applied Logic 67 (1-3):113-160.
    The purpose of a logical framework such as LF is to provide a language for defining logical systems suitable for use in a logic-independent proof development environment. All inferential activity in an object logic is to be conducted in the logical framework via the representation of that logic in the framework. An important tool for controlling search in an object logic, the need for which is motivated by the difficulty of reasoning about large and complex systems, is the use of (...)
    Direct download (5 more)  
    Export citation  
  4.  14
    The Institution-Theoretic Scope of Logic Theorems.Răzvan Diaconescu, Till Mossakowski & Andrzej Tarlecki - 2014 - 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)  
    Export citation