Proof-theoretic semantics

被引：0
|
作者：
Catta, Davide [1 ]
机构：
[1] Univ Montpellier, CNRS, LIRMM, Montpellier, France
来源：
BULLETIN OF SYMBOLIC LOGIC | 2019年 / 25卷 / 03期
关键词：
D O I：
10.1017/bsl.2019.42
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：360 / 362
页数：3
相关论文
共 50 条
  • [21] Proof-Theoretic Semantics for Natural Language
    Nissim Francez
    Topoi, 2021, 40 : 55 - 69
  • [22] On a Generality Condition in Proof-Theoretic Semantics
    Dicher, Bogdan
    THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2017, 83 (04): : 394 - 418
  • [23] A Proof-Theoretic Semantics for Adjectival Modification
    Nissim Francez
    Journal of Logic, Language and Information, 2017, 26 : 21 - 43
  • [24] Proof-Theoretic Semantics and Inquisitive Logic
    Stafford, Will
    JOURNAL OF PHILOSOPHICAL LOGIC, 2021, 50 (05) : 1199 - 1229
  • [25] A Proof-Theoretic Semantics for Adjectival Modification
    Francez, Nissim
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2017, 26 (01) : 21 - 43
  • [26] Some problems for proof-theoretic semantics
    Stirton, William R.
    PHILOSOPHICAL QUARTERLY, 2008, 58 (231): : 278 - 298
  • [27] Validity Concepts in Proof-theoretic Semantics
    Peter Schroeder-Heister
    Synthese, 2006, 148 : 525 - 571
  • [28] Failure of Completeness in Proof-Theoretic Semantics
    Thomas Piecha
    Wagner de Campos Sanz
    Peter Schroeder-Heister
    Journal of Philosophical Logic, 2015, 44 : 321 - 335
  • [29] Proof-Theoretic Semantics for Natural Language
    Francez, Nissim
    TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2021, 40 (01): : 55 - 69
  • [30] Proof-Theoretic Semantics for Subsentential Phrases
    Francez, Nissim
    Dyckhoff, Roy
    Ben-Avi, Gilad
    STUDIA LOGICA, 2010, 94 (03) : 381 - 401
12345