The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations |
| |
| Authors: | Wansing Heinrich |
| |
| Affiliation: | (1) Institute of Logic and Philosophy of Science, University of Leipzig, Augustusplatz 9, 04109 Leipzig, Germany |
| |
| Abstract: | 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. This revised version was published online in June 2006 with corrections to the Cover Date. |
| |
| Keywords: | proof systems semantics functional completeness non-classical logics modal logic |
| 本文献已被 SpringerLink 等数据库收录！ |
|
