Meaning and Dialogue Coherence: A Proof-theoretic Investigation

被引：0

|

作者：

Paul Piwek

机构：

[1] The Open University,Centre for Research in Computing

来源：

Journal of Logic, Language and Information | 2008年 / 17卷 / 3期

关键词：

D O I：

10.1007/s10849-008-9069-2

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：383 / 383

相关论文

共 50 条

[41] PROOF-THEORETIC CHARACTERIZATIONS OF LOGIC PROGRAMMING
ANDREWS, JH
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 145 - 154
[42] PROOF-THEORETIC ANALYSIS OF TERMINATION PROOFS
BUCHHOLZ, W
ANNALS OF PURE AND APPLIED LOGIC, 1995, 75 (1-2) : 57 - 65
[43] Proof-Theoretic Semantics for Subsentential Phrases
Nissim Francez
Roy Dyckhoff
Gilad Ben-Avi
Studia Logica, 2010, 94 : 381 - 401
[44] On the Equivalence Conjecture for Proof-Theoretic Harmony
Steinberger, Florian
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2013, 54 (01) : 79 - 86
[45] A proof-theoretic universal property of determiners
Francez, Nissim
JOURNAL OF APPLIED LOGIC, 2015, 13 (04) : 799 - 808
[46] Proof-theoretic semantics for classical mathematics
Tait, WW
SYNTHESE, 2006, 148 (03) : 603 - 622
[47] Truth from a Proof-Theoretic Perspective
Luca Tranchini
Topoi, 2012, 31 : 47 - 57
[48] Proof-theoretic Semantics for Classical Mathematics
William W. Tait
Synthese, 2006, 148 : 603 - 622
[49] 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
[50] The original sin of proof-theoretic semantics
Bogdan Dicher
Francesco Paoli
Synthese, 2021, 198 : 615 - 640

← 1 2 3 4 5 →