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
Residuation in orthomodular lattices - MaRDI portal

Residuation in orthomodular lattices (Q2358204)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Residuation in orthomodular lattices
scientific article

    Statements

    Residuation in orthomodular lattices (English)
    0 references
    0 references
    0 references
    22 June 2017
    0 references
    residuated lattice
    0 references
    right residuated lattice
    0 references
    weak residuated lattice
    0 references
    orthomodular lattice
    0 references
    weak divisible
    0 references
    positive
    0 references
    double negation law
    0 references

    Identifiers