An Institution-independent Proof of Craig Interpolation Theorem

被引：0
|
作者：
Răzvan Diaconescu
机构：
[1] Institute of Mathematics “Simion Stoilow” of the Romanian Academy,
来源：
Studia Logica | 2004年 / 77卷 / 1期
关键词：
interpolation; axiomatizability; institutions; algebraic specification;
D O I：
10.1023/B:STUD.0000034185.62660.d6
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：59 / 79
页数：20
相关论文
共 50 条
  • [1] An institution-independent proof of the Beth definability theorem
    Aiguier M.
    Barbier F.
    Studia Logica, 2007, 85 (3) : 333 - 359
  • [2] An institution-independent proof of the Robinson Consistency Theorem
    Gâinâ D.
    Popescu A.
    Studia Logica, 2007, 85 (1) : 41 - 73
  • [3] Institution-independent ultraproducts
    Diaconescu, R
    FUNDAMENTA INFORMATICAE, 2003, 55 (3-4) : 321 - 348
  • [4] An institution-independent generalization of Tarski's elementary chain theorem
    Gaina, Daniel
    Popescu, Andrei
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (06) : 713 - 735
  • [5] Institution-independent Model Theory
    Tarlecki, Andrzej
    STUDIA LOGICA, 2014, 102 (01) : 225 - 229
  • [6] Jewels of institution-independent model theory
    Diaconescu, Razvan
    ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, 2006, 4060 : 65 - 98
  • [7] Mechanising a proof of Craig's interpolation theorem for intuitionistic logic in nominal isabelle
    Chapman, Peter
    McKinna, James
    Urban, Christian
    INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 38 - +
  • [8] Towards an Institution-Independent Concept of Constitutional Review
    Fukuda, Kazuo
    COLUMBIA JOURNAL OF TRANSNATIONAL LAW, 2023, 61 (02): : 387 - 452
  • [9] From conventional to institution-independent logic programming
    Tutu, Ionut
    Fiadeiro, Jose Luiz
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (06) : 1679 - 1716
  • [10] Specification of systems with parameterised events: An institution-independent approach
    Hennicker, Rolf
    Knapp, Alexander
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 128
12345