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
相关论文
共 46 条
12345