A proof-theoretic foundation of abortive continuations

被引：14

|

作者：

University of Oregon, Eugene, United States ^{[1
]}

不详 ^{[2
]}

不详 ^{[3
]}

机构：

来源：

High Order Symbol Comput | 2007年 / 4卷 / 403-429期

关键词：

Logic programming;

D O I：

10.1007/s10990-007-9007-z

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[41] A proof-theoretic universal property of determiners
Francez, Nissim
JOURNAL OF APPLIED LOGIC, 2015, 13 (04) : 799 - 808
[42] Proof-theoretic semantics for classical mathematics
Tait, WW
SYNTHESE, 2006, 148 (03) : 603 - 622
[43] Truth from a Proof-Theoretic Perspective
Luca Tranchini
Topoi, 2012, 31 : 47 - 57
[44] Proof-theoretic Semantics for Classical Mathematics
William W. Tait
Synthese, 2006, 148 : 603 - 622
[45] A Proof-Theoretic Analysis of Weak Crossover
Bekki, Daisuke
NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, JSAI-ISAI 2021 WORKSHOPS, JURISIN 2021, LENLS18, SCIDOCA 2021, KANSEI-AI 2021, AND AI-BIZ 2021, 2023, 13856 : 228 - 241
[46] A proof-theoretic investigation of a logic of positions
Baratella, S
Masini, A
ANNALS OF PURE AND APPLIED LOGIC, 2003, 123 (1-3) : 135 - 162
[47] The original sin of proof-theoretic semantics
Bogdan Dicher
Francesco Paoli
Synthese, 2021, 198 : 615 - 640
[48] A PROOF-THEORETIC CHARACTERIZATION OF OBSERVATIONAL EQUIVALENCE
STIRLING, C
THEORETICAL COMPUTER SCIENCE, 1985, 39 (01) : 27 - 45
[49] Proof-theoretic analysis by iterated reflection
Beklemishev, LD
ARCHIVE FOR MATHEMATICAL LOGIC, 2003, 42 (06) : 515 - 552
[50] Proof-Theoretic Semantics and Inquisitive Logic
Will Stafford
Journal of Philosophical Logic, 2021, 50 : 1199 - 1229

← 1 2 3 4 5 →