PRE-TABULARITY AND CRAIG'S INTERPOLATION PROPERTY OVER MINIMAL LOGIC

被引：2

作者：

Maksimova, Larisa L'vovna ^{[1
]}

Yun, Veta Fedorovna ^{[1
]}

机构：

[1] Sobolev Inst Math, Pr Koptyuga 4, Novosibirsk 630090, Russia

来源：

SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA | 2023年 / 20卷 / 01期

关键词：

D O I：

10.33048/semi.2023.20.019

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：245 / 250

页数：6

共 27 条

[11] Interpolation over the minimal logic and Odintsov intervals
L. L. Maksimova
V. F. Yun
Siberian Mathematical Journal, 2015, 56 : 476 - 489
[12] Interpolation over the minimal logic and Odintsov intervals
Maksimova, L. L.
Yun, V. F.
SIBERIAN MATHEMATICAL JOURNAL, 2015, 56 (03) : 476 - 489
[13] Harmonious logic: Craig's interpolation theorem and its descendants
Feferman, Solomon
SYNTHESE, 2008, 164 (03) : 341 - 357
[14] Harmonious logic: Craig’s interpolation theorem and its descendants
Solomon Feferman
Synthese, 2008, 164 : 341 - 357
[15] The Lyndon property and uniform interpolation over the Grzegorczyk logic
Maksimova, L. L.
SIBERIAN MATHEMATICAL JOURNAL, 2014, 55 (01) : 118 - 124
[16] The Lyndon property and uniform interpolation over the Grzegorczyk logic
L. L. Maksimova
Siberian Mathematical Journal, 2014, 55 : 118 - 124
[17] 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 - +
[18] Definability and interpolation in extensions of Johansson's minimal logic
Maksimova, L
PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENT, 2002, 228 : 435 - 443
[19] Lyndon's interpolation property for the logic of strict implication
Aboolian, Narbe
Alizadeh, Majid
LOGIC JOURNAL OF THE IGPL, 2022, 30 (01) : 34 - 70
[20] The decidability of craig’s interpolation property in well-composed J-logics
L. L. Maksimova
Siberian Mathematical Journal, 2012, 53 : 839 - 852

← 1 2 3 →