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
CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION - MaRDI portal

CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806)

From MaRDI portal





scientific article
Language Label Description Also known as
English
CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
scientific article

    Statements

    title
    CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (English)
    0 references
    publication date
    9 November 2015
    0 references
    zbMATH Keywords
    truth predicates
    0 references
    cut elimination
    0 references
    compositional axioms for truth
    0 references
    author
    Graham E. Leigh
    0 references

    Identifiers

    zbMATH DE Number
    6506059
    0 references
    OpenAlex ID
    W2963331508
    0 references
    arXiv ID
    1308.0168
    0 references
    DOI
    10.1017/JSL.2015.27
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3450806&oldid=41065970"
    Powered by MediaWiki