Proofs and the Meaning and Completeness of the Logical Constants
Proofs and the Meaning and Completeness of the Logical Constants
复制标题
证明以及逻辑常数的意义和完备性
DOI：
10.1007/978-94-009-9825-4_2
复制
发表时间：
1979
期刊：
影响因子：
1.6
通讯作者：
D. Prawitz
中科院分区：
文献类型：
--
作者：
D. Prawitz
在这堂课中，我将讨论意义和证明的概念，以及它们如何相互依赖。最后，我将讨论通常的矩阵运算的完备性问题。
In this lecture I shall discuss the notions of meaning and proof and how they depend on each other. In conclusion, I shall deal with the question of the completeness of the usual sentential operations.