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
Admissibility in positive logics - MaRDI portal

Admissibility in positive logics (Q1689558)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Admissibility in positive logics
scientific article

    Statements

    title
    Admissibility in positive logics (English)
    0 references
    author
    Alex Citkin
    0 references
    publication date
    12 January 2018
    0 references
    zbMATH Keywords
    inference rule
    0 references
    multiple-conclusion rule
    0 references
    admissible rule
    0 references
    positive logic
    0 references
    intermediate logic
    0 references
    Brouwerian algebra
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B55
    0 references
    03B60
    0 references
    03C05
    0 references
    zbMATH DE Number
    6825506
    0 references
    OpenAlex ID
    W2542047951
    0 references
    arXiv ID
    1610.08700
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1689558&oldid=36365452"
    Powered by MediaWiki