The idea of a proof-theoretic semantics and the meaning of the logical operations (Q1970589)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The idea of a proof-theoretic semantics and the meaning of the logical operations
scientific article

    Statements

    The idea of a proof-theoretic semantics and the meaning of the logical operations (English)
    0 references
    5 November 2000
    0 references
    This conceptual paper aims at presenting and putting into perspective the idea of a proof-theoretic semantics of logical operations. Paying particular attention to the functional completeness problem the author first gives a brief survey on several semantic paradigms, namely, the model-theoretic, algebraic, game-theoretic, and dynamic. Then the idea of a proof-theoretic semantics is explained and analysed for more details. It is shown, for instance, that display logic provides a proof-theoretic schema general enough to extend the proof-theoretic characterization of logical operations to modal and tense logics.
    0 references
    0 references
    proof system
    0 references
    proof-theoretic semantics of logical operations
    0 references
    functional completeness
    0 references
    display logic
    0 references
    modal logic
    0 references
    tense logic
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references