Intuitionistic fixed point logic (Q2220485)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Intuitionistic fixed point logic
scientific article

    Statements

    title
    Intuitionistic fixed point logic (English)
    0 references
    author
    Ulrich Berger
    0 references
    Hideki Tsuiki
    0 references
    publication date
    25 January 2021
    0 references
    zbMATH Keywords
    proof theory
    0 references
    realizability
    0 references
    program extraction
    0 references
    induction
    0 references
    coinduction
    0 references
    exact real number computation
    0 references
    describes a project that uses
    Nuprl
    0 references
    Minlog
    0 references
    Coq
    0 references
    cites work
    Copatterns
    0 references
    Q4843177
    0 references
    Q3075213
    0 references
    Q4435458
    0 references
    Q3803111
    0 references
    Q3408862
    0 references
    Q3882452
    0 references
    Q5718566
    0 references
    Q4355684
    0 references
    Q5344164
    0 references
    Q2847816
    0 references
    Q3688389
    0 references
    Q4783334
    0 references
    Q3532205
    0 references
    Q2771052
    0 references
    Q5718561
    0 references
    Q5573961
    0 references
    Q3959414
    0 references
    Q4716271
    0 references
    Q4485693
    0 references
    Q3141916
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B70
    0 references
    03B20
    0 references
    03B40
    0 references
    03D70
    0 references
    03D78
    0 references
    03F60
    0 references
    06B35
    0 references
    zbMATH DE Number
    7300474
    0 references
    OpenAlex ID
    W3092637222
    0 references
    arXiv ID
    2002.00188
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2220485&oldid=38951441"
    Powered by MediaWiki