Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability (Q6484828)

From MaRDI portal
Revision as of 14:31, 28 November 2024 by Import241128011130 (talk | contribs) (Added link to MaRDI item.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7589386
Language Label Description Also known as
English
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability
scientific article; zbMATH DE number 7589386

    Statements

    title
    Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability (English)
    0 references
    author
    Pawel Pawlowski
    0 references
    Rafal Urbaniak
    0 references
    publication date
    21 September 2022
    0 references
    zbMATH Keywords
    non-deterministic logics
    0 references
    informal provability
    0 references
    BAT logic
    0 references

    Identifiers

    DOI
    10.12775/llp.2021.016
    0 references
    zbMATH DE Number
    7589386
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6484828&oldid=37940601"
    Powered by MediaWiki