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
Verificationism and Classical Realizability - MaRDI portal

Verificationism and Classical Realizability (Q3305313)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verificationism and Classical Realizability
scientific article

    Statements

    title
    Verificationism and Classical Realizability (English)
    0 references
    author
    Alberto Naibo
    0 references
    Mattia Petrolo
    0 references
    Thomas Seiller
    0 references
    publication date
    6 August 2020
    0 references
    zbMATH Keywords
    verificationism
    0 references
    realizability semantics
    0 references
    classical logic
    0 references
    untyped proof theory
    0 references
    axiomatic theories
    0 references
    cites work
    Q2878198
    0 references
    Theorem proving modulo
    0 references
    Q4133603
    0 references
    Q4179016
    0 references
    Q4204146
    0 references
    Q5613908
    0 references
    Q5336301
    0 references
    Q3522248
    0 references
    Q5691485
    0 references
    Q5343326
    0 references
    Q5525322
    0 references
    Q3075442
    0 references
    Q5181669
    0 references
    Q2744125
    0 references
    Proof Analysis
    0 references
    Q3532205
    0 references
    Q4255509
    0 references
    Q5387442
    0 references
    Q5408687
    0 references
    Q4342086
    0 references
    Q4215635
    0 references

    Identifiers

    zbMATH DE Number
    7229014
    0 references
    OpenAlex ID
    W2381343514
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3305313&oldid=36605517"
    Powered by MediaWiki