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 条
  • [11] Introduction: Proof-theoretic Semantics
    Reinhard Kahle
    Peter Schroeder-Heister
    Synthese, 2006, 148 : 503 - 506
  • [12] Bilateralism in Proof-Theoretic Semantics
    Francez, Nissim
    JOURNAL OF PHILOSOPHICAL LOGIC, 2014, 43 (2-3) : 239 - 259
  • [13] Failure of Completeness in Proof-Theoretic Semantics
    Piecha, Thomas
    Sanz, Wagner de Campos
    Schroeder-Heister, Peter
    JOURNAL OF PHILOSOPHICAL LOGIC, 2015, 44 (03) : 321 - 335
  • [14] Validity concepts in proof-theoretic semantics
    Schroeder-Heister, P
    SYNTHESE, 2006, 148 (03) : 525 - 571
  • [15] The original sin of proof-theoretic semantics
    Dicher, Bogdan
    Paoli, Francesco
    SYNTHESE, 2021, 198 (01) : 615 - 640
  • [16] Proof-theoretic semantics for classical mathematics
    Tait, WW
    SYNTHESE, 2006, 148 (03) : 603 - 622
  • [17] Proof-theoretic Semantics for Classical Mathematics
    William W. Tait
    Synthese, 2006, 148 : 603 - 622
  • [18] Proof-Theoretic Semantics for Subsentential Phrases
    Nissim Francez
    Roy Dyckhoff
    Gilad Ben-Avi
    Studia Logica, 2010, 94 : 381 - 401
  • [19] The original sin of proof-theoretic semantics
    Bogdan Dicher
    Francesco Paoli
    Synthese, 2021, 198 : 615 - 640
  • [20] Proof-Theoretic Semantics and Inquisitive Logic
    Will Stafford
    Journal of Philosophical Logic, 2021, 50 : 1199 - 1229
12345