Validity concepts in proof-theoretic semantics (Q2500820)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Validity concepts in proof-theoretic semantics
scientific article

    Statements

    Validity concepts in proof-theoretic semantics (English)
    0 references
    0 references
    18 August 2006
    0 references
    0 references
    0 references
    0 references
    0 references
    proof-theoretic semantics
    0 references
    validity
    0 references
    normalization
    0 references
    0 references