THE -PROVABILITY LOGIC OF (Q5195060)

From MaRDI portal
Revision as of 19:44, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article; zbMATH DE number 7106187
Language Label Description Also known as
English
THE -PROVABILITY LOGIC OF
scientific article; zbMATH DE number 7106187

    Statements

    title
    THE -PROVABILITY LOGIC OF (English)
    0 references
    author
    Mohammad Ardeshir
    0 references
    Mojtaba Mojtahedi
    0 references
    publication date
    17 September 2019
    0 references
    zbMATH Keywords
    completeness principle
    0 references
    Heyting arithmetic
    0 references
    intuitionistic logic
    0 references
    modal logic
    0 references
    provability logic
    0 references

    Identifiers

    DOI
    10.1017/jsl.2019.44
    0 references
    Mathematics Subject Classification ID
    03F45
    0 references
    03B45
    0 references
    03F30
    0 references
    03F55
    0 references
    zbMATH DE Number
    7106187
    0 references
    OpenAlex ID
    W2958157630
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5195060&oldid=31387118"
    Powered by MediaWiki