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 Systems for Nondeterministic Propositional Logics without Reflexivity - MaRDI portal

Sequent Systems for Nondeterministic Propositional Logics without Reflexivity (Q2859105)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sequent Systems for Nondeterministic Propositional Logics without Reflexivity
scientific article

    Statements

    title
    Sequent Systems for Nondeterministic Propositional Logics without Reflexivity (English)
    0 references
    author
    Louwe B. Kuijer
    0 references
    publication date
    6 November 2013
    0 references

    Identifiers

    zbMATH DE Number
    6223243
    0 references
    OpenAlex ID
    W2205544561
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2859105&oldid=31902923"
    Powered by MediaWiki