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
Equivalence of consequence operations - MaRDI portal

Equivalence of consequence operations (Q2433095)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equivalence of consequence operations
scientific article

    Statements

    title
    Equivalence of consequence operations (English)
    0 references
    publication date
    27 October 2006
    0 references
    zbMATH Keywords
    algebraization of deductive systems
    0 references
    author
    Willem J. Blok
    0 references
    Bjarni Jónsson
    0 references

    Identifiers

    zbMATH DE Number
    5068030
    0 references
    OpenAlex ID
    W2025774031
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2433095&oldid=32272474"
    Powered by MediaWiki