Cut elimination for entailment relations (Q2312091)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cut elimination for entailment relations
scientific article

    Statements

    title
    Cut elimination for entailment relations (English)
    0 references
    author
    Davide Rinaldi
    0 references
    Daniel Wessel
    0 references
    publication date
    4 July 2019
    0 references
    zbMATH Keywords
    entailment relations
    0 references
    cut elimination
    0 references
    constructive mathematics
    0 references
    cites work
    Q4944905
    0 references
    Q5718574
    0 references
    Q5437178
    0 references
    Q2753679
    0 references
    Q4365300
    0 references
    Q5509706
    0 references
    Q3965241
    0 references
    Q4552743
    0 references
    Q2744125
    0 references
    Proof Analysis
    0 references
    On preserving
    0 references
    Q4553278
    0 references
    Q3481701
    0 references
    Q4079581
    0 references
    Q4159022
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F05
    0 references
    03F65
    0 references
    13J25
    0 references
    zbMATH DE Number
    7077052
    0 references
    OpenAlex ID
    W2902872320
    0 references
    Wikidata QID
    Q128822618
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2312091&oldid=37645476"
    Powered by MediaWiki