ISSN:
1572-8730
Keywords:
proof systems
;
semantics
;
functional completeness
;
non-classical logics
;
modal logic
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1005217827758
Permalink