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
Semilinear substructural logics with the finite embeddability property - MaRDI portal

Semilinear substructural logics with the finite embeddability property (Q1991589)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Semilinear substructural logics with the finite embeddability property
scientific article

    Statements

    Semilinear substructural logics with the finite embeddability property (English)
    0 references
    30 October 2018
    0 references
    finite embeddability property
    0 references
    residuated lattices
    0 references
    semilinear substructural logics
    0 references
    finite algebras
    0 references
    completeness
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references