Deductive argumentation by enhanced sequent calculi and dynamic derivations (Q1744402)

From MaRDI portal
Revision as of 07:40, 11 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Deductive argumentation by enhanced sequent calculi and dynamic derivations
scientific article

    Statements

    title
    Deductive argumentation by enhanced sequent calculi and dynamic derivations (English)
    0 references
    author
    Ofer Arieli
    0 references
    Christian Straßer
    0 references
    publication date
    23 April 2018
    0 references
    zbMATH Keywords
    logical argumentation
    0 references
    sequent calculi
    0 references
    dynamic derivations
    0 references

    Identifiers

    zbMATH DE Number
    6862940
    0 references
    OpenAlex ID
    W2469001723
    0 references
    Wikidata QID
    Q113317686
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1744402&oldid=38725280"
    Powered by MediaWiki