Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Intuitionistic fixed point logic - MaRDI portal

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