Craig Interpolation with Clausal First-Order Tableaux

被引：0

作者：

Wernhard, Christoph ^{[1
]}

机构：

[1] Wernhard, Christoph

来源：

Wernhard, Christoph (info@christophwerhard.com) | 1600年 / Springer Science and Business Media B.V.卷 / 65期

关键词：

83;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Journal article (JA)

引用

页码：647 / 690

共 50 条

[21] UNIFORM COMPACTNESS AND INTERPOLATION LEMMAS IN FIRST-ORDER LOGIC
WEAVER, G
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 394 - 394
[22] Interpolation theory and first-order boundary value problems
Everitt, WN
Poulkou, A
MATHEMATISCHE NACHRICHTEN, 2004, 269 : 116 - 128
[23] Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
Heuer, Jan
Wernhard, Christoph
AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 172 - 193
[24] CUT-ELIMINATION, COMPLETENESS, AND CRAIG INTERPOLATION THEOREMS FOR GUREVICH'S EXTENDED FIRST-ORDER INTUITIONISTIC LOGIC WITH STRONG NEGATION
Kamide, Norihiro
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (05): : 1101 - 1121
[25] Cut-elimination, completeness, and craig interpolation theorems for gurevich’s extended first-order intuitionistic logic with strong negation
Kamide, Norihiro
Journal of Applied Logics, 2021, 8 (05): : 1101 - 1121
[26] Spatial localisation: Interpolation of first-order and second-order visual structure
McGraw, P
Badcock, DR
McArthur, J
Bridle, RI
PERCEPTION, 2004, 33 : 175 - 175
[27] A TRUNCATION TECHNIQUE FOR CLAUSAL ANALYTIC TABLEAUX
WRIGHTSON, G
COLDWELL, J
INFORMATION PROCESSING LETTERS, 1992, 42 (05) : 273 - 281
[28] The proof complexity of analytic and clausal tableaux
Massacci, F
THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 477 - 487
[29] Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories
Ghilardi, Silvio
Gianola, Alessandro
MATHEMATICS, 2022, 10 (03)
[30] First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation
Baaz, Matthias
Lolic, Anela
FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), 2017, 10483 : 265 - 280

← 1 2 3 4 5 →