Interpolation in non-classical logics

被引：9

作者：

D'Agostino, Giovanna ^{[1
]}

机构：

[1] Univ Udine, Dept Math & Comp Sci, I-33100 Udine, Italy

来源：

SYNTHESE | 2008年 / 164卷 / 03期

关键词：

interpolation; non-classical logics; bisimulation quantifers; uniform interpolation;

D O I：

10.1007/s11229-008-9359-x

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

We discuss the interpolation property on some important families of non classical logics, such as intuitionistic, modal, fuzzy, and linear logics. A special paragraph is devoted to a generalization of the interpolation property, uniform interpolation.

引用

页码：421 / 435

页数：15

共 50 条

[1] Interpolation in non-classical logics
Giovanna D’Agostino
[J]. Synthese, 2008, 164 : 421 - 435
[2] Definability and interpolation in non-classical logics
Maksimova L.
[J]. Studia Logica, 2006, 82 (2) : 271 - 291
[3] Non-classical Metatheory for Non-classical Logics
Bacon, Andrew
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2013, 42 (02) : 335 - 355
[4] Non-classical Metatheory for Non-classical Logics
Andrew Bacon
[J]. Journal of Philosophical Logic, 2013, 42 : 335 - 355
[5] First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation
Baaz, Matthias
Lolic, Anela
[J]. FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), 2017, 10483 : 265 - 280
[6] On AGM for Non-Classical Logics
Renata Wassermann
[J]. Journal of Philosophical Logic, 2011, 40 : 271 - 294
[7] On AGM for Non-Classical Logics
Wassermann, Renata
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2011, 40 (02) : 271 - 294
[8] SEMANTICS FOR NON-CLASSICAL LOGICS
NAGAI, S
[J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1973, 49 (05): : 337 - 340
[9] Non-classical logics for quantum computations
Pykacz, J
Zapatrin, RR
[J]. PHOTONIC QUANTUM COMPUTING, 1997, 3076 : 150 - 161
[10] Constructive canonicity in non-classical logics
Ghilardi, S
Meloni, G
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1997, 86 (01) : 1 - 32

← 1 2 3 4 5 →