Craig interpolation property for operator logics of proofs

被引：0

|

作者：

Sidon, TL ^{[1
]}

机构：

[1] Moscow State Univ, Moscow, Russia

来源：

VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA | 1998年 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：34 / 38

页数：5

相关论文

共 50 条

[21] Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation
Franco Montagna
Studia Logica, 2012, 100 : 289 - 317
[22] Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation
Montagna, Franco
STUDIA LOGICA, 2012, 100 (1-2) : 289 - 317
[23] Uniform Lyndon interpolation property in propositional modal logics
Taishi Kurahashi
Archive for Mathematical Logic, 2020, 59 : 659 - 678
[24] The projective beth property and interpolation in positive and related logics
Maksimova L.L.
Algebra and Logic, 2006, 45 (1) : 49 - 66
[25] Uniform Lyndon interpolation property in propositional modal logics
Kurahashi, Taishi
ARCHIVE FOR MATHEMATICAL LOGIC, 2020, 59 (5-6) : 659 - 678
[26] A new multiquadric quasi-interpolation operator with interpolation property
Wu, Jinming
MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2014, 37 (11) : 1593 - 1601
[27] The Craig interpolation property in first-order Gödel logic
Tavana, N. R.
Pourmahdian, M.
Khatami, S. M. A.
FUZZY SETS AND SYSTEMS, 2024, 485
[28] Interpolation and the projective Beth property in well-composed logics
Maksimova, L. L.
ALGEBRA AND LOGIC, 2012, 51 (02) : 163 - 184
[29] The Beth property and interpolation in lattice-based algebras and logics
Maksimova L.L.
Orlowska E.
Algebra and Logic, 2008, 47 (3) : 176 - 192
[30] Interpolation and the projective Beth property in well-composed logics
L. L. Maksimova
Algebra and Logic, 2012, 51 : 163 - 184

← 1 2 3 4 5 →