Yet another bijection between sequent calculus and natural deduction (Q530853)

From MaRDI portal
Revision as of 23:38, 27 March 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q113317807, #quickstatements; #temporary_batch_1711574657256)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Yet another bijection between sequent calculus and natural deduction
scientific article

    Statements

    title
    Yet another bijection between sequent calculus and natural deduction (English)
    0 references
    author
    Cecilia Englander
    0 references
    Gilles Dowek
    0 references
    publication date
    1 August 2016
    0 references
    zbMATH DE Number
    6608306
    0 references
    zbMATH Keywords
    natural deduction
    0 references
    sequent calculus
    0 references
    intuitionistic propositional logic
    0 references
    proof theory
    0 references
    OpenAlex ID
    W2017264513
    0 references
    Wikidata QID
    Q113317807
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q530853&oldid=33216343"
    Powered by MediaWiki