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
Proof interpretations with truth - MaRDI portal

Proof interpretations with truth (Q3066291)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof interpretations with truth
scientific article

    Statements

    title
    Proof interpretations with truth (English)
    0 references
    author
    Jaime Gaspar
    0 references
    Paulo Oliva
    0 references
    publication date
    10 January 2011
    0 references
    zbMATH Keywords
    modified realizability with truth
    0 references
    q-modified realizability
    0 references
    intuitionistic linear logic
    0 references
    Aczel slash
    0 references
    Kleene slash
    0 references
    functional interpretation
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F25
    0 references
    03F07
    0 references
    03F10
    0 references
    03F52
    0 references
    zbMATH DE Number
    5834270
    0 references
    OpenAlex ID
    W2018237036
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3066291&oldid=35207855"
    Powered by MediaWiki