Interpolation and definability in extensions of the minimal logic

被引：7
|
作者：
Maksimova L.L.
机构：
来源：
Algebra and Logic | 2005年 / 44卷 / 6期
基金：
俄罗斯基础研究基金会;
关键词：
Extension of a logic; Interpolation property; Johansson's minimal logic; Projective Beth property;
D O I：
10.1007/s10469-005-0038-4
中图分类号：
学科分类号：
摘要：
We study into the interpolation property and the projective Beth property in extensions of Johansson's minimal logic. A family of logics of some special form is considered. Effective criteria are specified which allow us to verify whether an arbitrary logic in this family has a given property. © 2005 Springer Science+Business Media, Inc.
引用
收藏
页码：407 / 421
页数：14
相关论文
共 50 条
12345