Eliminating disjunctions by disjunction elimination (Q1688959)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Eliminating disjunctions by disjunction elimination
scientific article

    Statements

    title
    Eliminating disjunctions by disjunction elimination (English)
    0 references
    author
    Davide Rinaldi
    0 references
    Daniel Wessel
    0 references
    Peter M. Schuster
    0 references
    publication date
    12 January 2018
    0 references
    Mathematics Subject Classification ID
    03F03
    0 references
    03F65
    0 references
    03E25
    0 references
    zbMATH DE Number
    6825025
    0 references
    OpenAlex ID
    W2766243828
    0 references
    cites work
    Q3022775
    0 references
    Q5573965
    0 references
    Q3803111
    0 references
    Q3770650
    0 references
    Q5839916
    0 references
    Q4944905
    0 references
    Q4247301
    0 references
    Space of valuations
    0 references
    Q2753679
    0 references
    Protoalgebraic logics
    0 references
    Q4365300
    0 references
    Q3135193
    0 references
    Q4250063
    0 references
    Q5615833
    0 references
    Q5416163
    0 references
    Q3965241
    0 references
    Q4783274
    0 references
    Q4681899
    0 references
    Q5454196
    0 references
    Q3226736
    0 references
    Q3931592
    0 references
    Q4896531
    0 references
    Proof Analysis
    0 references
    Q2716044
    0 references
    Q4805593
    0 references
    Q3481701
    0 references
    Q5869519
    0 references
    Q4401922
    0 references
    Q4079581
    0 references
    Q5537599
    0 references
    Q4159022
    0 references
    Q4065545
    0 references
    Q4694207
    0 references
    Q4499084
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1688959&oldid=36365126"
    Powered by MediaWiki