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
Single axiom schemata for \(D\) and \(S\) - MaRDI portal

Single axiom schemata for \(D\) and \(S\) (Q2531278)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Single axiom schemata for \(D\) and \(S\)
scientific article

    Statements

    Single axiom schemata for \(D\) and \(S\) (English)
    0 references
    0 references
    1966
    0 references
    algebraic logic
    0 references
    model theory
    0 references

    Identifiers