Prawitz, Proofs, and Meaning (Q5213604)

From MaRDI portal
scientific article; zbMATH DE number 7162479
Language Label Description Also known as
English
Prawitz, Proofs, and Meaning
scientific article; zbMATH DE number 7162479

    Statements

    title
    Prawitz, Proofs, and Meaning (English)
    0 references
    author
    Heinrich Wansing
    0 references
    publication date
    4 February 2020
    0 references
    zbMATH Keywords
    general proof theory
    0 references
    Gerhard Gentzen
    0 references
    Dag Prawitz
    0 references
    natural deduction
    0 references
    normalization
    0 references
    proof-theoretic semantics
    0 references
    anti-realism
    0 references
    cites work
    Q3837723
    0 references
    Display logic
    0 references
    Q5688806
    0 references
    Q4215630
    0 references
    Q3376920
    0 references
    Q4856189
    0 references
    Q5815602
    0 references
    Q5625124
    0 references
    Q3994895
    0 references
    Q2721200
    0 references
    What is Logic?
    0 references
    Q4249036
    0 references
    Q5581592
    0 references
    Q5638283
    0 references
    Q4099614
    0 references
    Q3688389
    0 references
    Q3999386
    0 references
    Q2744125
    0 references
    Proof Analysis
    0 references
    Constructible falsity
    0 references
    Q2904053
    0 references
    Q5559220
    0 references
    Q4079588
    0 references
    Q5613173
    0 references
    Q5632554
    0 references
    Q4192055
    0 references
    Q4903807
    0 references
    Q5567835
    0 references
    Q4805593
    0 references
    Q3661478
    0 references
    Q5187275
    0 references
    Q4903811
    0 references
    Q4159022
    0 references
    Q4910498
    0 references
    Q3520842
    0 references
    Q5610986
    0 references
    Proof theory
    0 references
    Q3941377
    0 references
    Q4499084
    0 references
    Q4877107
    0 references
    Q4939407
    0 references
    Q3016126
    0 references
    Displaying modal logic
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F03
    0 references
    03-03
    0 references
    01A70
    0 references
    zbMATH DE Number
    7162479
    0 references
    OpenAlex ID
    W2095771083
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5213604&oldid=36557789"
    Powered by MediaWiki