No label defined (Q4982513)

From MaRDI portal
Revision as of 18:18, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6423889
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 6423889

    Statements

    author
    Yehuda Schwartz
    0 references
    George Tourlakis
    0 references
    publication date
    9 April 2015
    0 references
    zbMATH Keywords
    Gentzen-style logic
    0 references
    Gentzen's Hauptsatz
    0 references
    Hilbert-style logic
    0 references
    GL
    0 references
    K4
    0 references
    provability logic
    0 references
    provability predicate
    0 references
    modal first-order logic
    0 references
    sequent calculus
    0 references
    cut-elimination
    0 references
    reflection theorem
    0 references
    Craig interpolation
    0 references
    arithmetical interpretation
    0 references
    soundness
    0 references
    arithmetical completeness
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F03
    0 references
    03F05
    0 references
    03B45
    0 references
    zbMATH DE Number
    6423889
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4982513&oldid=29092515"
    Powered by MediaWiki