Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618)

From MaRDI portal
Revision as of 17:29, 8 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 7162493
Language Label Description Also known as
English
Harmony in Proof-Theoretic Semantics: A Reductive Analysis
scientific article; zbMATH DE number 7162493

    Statements

    Harmony in Proof-Theoretic Semantics: A Reductive Analysis (English)
    0 references
    4 February 2020
    0 references
    proof-theoretic semantics
    0 references
    proof-theoretic harmony
    0 references
    logical connectives
    0 references
    generalised rules
    0 references
    functional completeness
    0 references
    conservativeness
    0 references
    uniqueness
    0 references

    Identifiers