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 条

[31] The Role of Negation in Proof-theoretic Semantics: a Proposal
Tranchini, Luca
LOGICA YEARBOOK 2008, 2009, : 265 - 279
[32] Proof-theoretic semantics for a natural language fragment
Francez, Nissim
Dyckhoff, Roy
LINGUISTICS AND PHILOSOPHY, 2010, 33 (06) : 447 - 477
[33] Proof-theoretic semantics for a natural language fragment
Nissim Francez
Roy Dyckhoff
Linguistics and Philosophy, 2010, 33 : 447 - 477
[34] A PROOF-THEORETIC SEMANTICS FOR PARAMETRIC LOGICAL CONSTANTS
Francez, Nissim
LOGIQUE ET ANALYSE, 2019, (247) : 225 - 244
[35] Proof-Theoretic Semantics for Intensional Transitive Verbs
Francez, Nissim
JOURNAL OF SEMANTICS, 2016, 33 (04) : 803 - 826
[36] Harmony in Proof-Theoretic Semantics: A Reductive Analysis
Schroeder-Heister, Peter
DAG PRAWITZ ON PROOFS AND MEANING, 2015, 7 : 329 - 358
[37] The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations
Wansing H.
Studia Logica, 2000, 64 (1) : 3 - 20
[38] Single-Assumption Systems in Proof-Theoretic Semantics
Ceragioli, Leonardo
JOURNAL OF PHILOSOPHICAL LOGIC, 2022, 51 (05) : 1019 - 1054
[39] Proof-theoretic semantics of natural deduction based on inversion
Zimmermann, Ernst
THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2021, 87 (06): : 1651 - 1670
[40] WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
Dicher, Bogdan
REVIEW OF SYMBOLIC LOGIC, 2016, 9 (03): : 583 - 602

← 1 2 3 4 5 →