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
Semantical Completeness Theorems in Logic and Algebra - MaRDI portal

Semantical Completeness Theorems in Logic and Algebra (Q3900058)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Semantical Completeness Theorems in Logic and Algebra
scientific article

    Statements

    author
    Vladimir Lifschitz
    0 references
    publication date
    1980
    0 references
    zbMATH Keywords
    Nullstellensatz
    0 references
    duality theorem of Farkas-Minkowski
    0 references
    hyper-resolution method
    0 references
    proof theory
    0 references
    title
    Semantical Completeness Theorems in Logic and Algebra (English)
    0 references

    Identifiers

    DOI
    10.2307/2042394
    0 references
    zbMATH DE Number
    3708393
    0 references
    OpenAlex ID
    W4249741295
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3900058&oldid=34647515"
    Powered by MediaWiki