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
Belnap's logic and conditional composition - MaRDI portal

Belnap's logic and conditional composition (Q2464948)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Belnap's logic and conditional composition
scientific article

    Statements

    title
    Belnap's logic and conditional composition (English)
    0 references
    author
    Alban Ponse
    0 references
    Mark B. van der Zwaag
    0 references
    publication date
    18 December 2007
    0 references
    zbMATH Keywords
    Belnap's four-valued logic
    0 references
    equational axiomatization
    0 references
    conditional composition logic
    0 references
    guard logic
    0 references
    completeness
    0 references

    Identifiers

    zbMATH DE Number
    5221249
    0 references
    OpenAlex ID
    W2140632128
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2464948&oldid=35024055"
    Powered by MediaWiki