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
Sequent calculi for normal update logics - MaRDI portal

Sequent calculi for normal update logics (Q2284184)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sequent calculi for normal update logics
scientific article

    Statements

    title
    Sequent calculi for normal update logics (English)
    0 references
    author
    Katsuhiko Sano
    0 references
    Minghui Ma
    0 references
    publication date
    14 January 2020
    0 references
    zbMATH DE Number
    7150815
    0 references
    OpenAlex ID
    W2914653848
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2284184&oldid=32293171"
    Powered by MediaWiki