Some Remarks on Proof-Theoretic Semantics (Q5864198)

From MaRDI portal
scientific article; zbMATH DE number 7537539
Language Label Description Also known as
English
Some Remarks on Proof-Theoretic Semantics
scientific article; zbMATH DE number 7537539

    Statements

    Some Remarks on Proof-Theoretic Semantics (English)
    0 references
    0 references
    3 June 2022
    0 references
    general elimination rules
    0 references
    harmony
    0 references
    strong normalisation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references