The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations
复制标题
证明理论语义学的思想和逻辑运算的意义
DOI：
10.1023/a:1005217827758
复制
发表时间：
2000
期刊：
影响因子：
0.7
通讯作者：
H. Wansing
中科院分区：
文献类型：
--
作者：
H. Wansing
这是一篇纯粹的概念性论文。它的目的是提出并透视逻辑运算的证明理论语义的想法。第一部分简要概述了各种语义范式，第二部分重点关注一个特定的范式，即逻辑运算的证明理论语义。
This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.