Proofs and countermodels in non-classical logics (Q2254557)

From MaRDI portal
Revision as of 15:35, 9 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Proofs and countermodels in non-classical logics
scientific article

    Statements

    title
    Proofs and countermodels in non-classical logics (English)
    0 references
    author
    Sara Negri
    0 references
    publication date
    5 February 2015
    0 references
    zbMATH Keywords
    non-classical logics
    0 references
    completeness
    0 references
    correspondence
    0 references
    countermodels
    0 references
    proof search
    0 references
    labelled sequent calculi
    0 references
    intuitionistic logic
    0 references
    provability logic
    0 references
    multi-modal logics
    0 references
    geometric rules
    0 references
    Sahlqvist
    0 references
    describes a project that uses
    TABLEAUX
    0 references
    Pesca
    0 references
    cites work
    Q3837723
    0 references
    Q2744124
    0 references
    Q5688810
    0 references
    Q4894942
    0 references
    Q2753601
    0 references
    Q5419884
    0 references
    Q5843956
    0 references
    Q4809045
    0 references
    Q2744125
    0 references
    Proof Analysis
    0 references
    Q4883282
    0 references
    Q5483015
    0 references
    Proof theory. 2nd ed
    0 references
    Q4499084
    0 references
    Q4530621
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F03
    0 references
    03B45
    0 references
    03B55
    0 references
    03F45
    0 references
    zbMATH DE Number
    6398406
    0 references
    OpenAlex ID
    W2014812345
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2254557&oldid=35437220"
    Powered by MediaWiki