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
Further Results on Proof Theories For Semilattice Logics - MaRDI portal

Further Results on Proof Theories For Semilattice Logics (Q3030795)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Further Results on Proof Theories For Semilattice Logics
scientific article

    Statements

    title
    Further Results on Proof Theories For Semilattice Logics (English)
    0 references
    author
    Robert K. Meyer
    0 references
    Steve Giambrone
    0 references
    Alasdair Urquhart
    0 references
    Errol P. Martin
    0 references
    publication date
    1988
    0 references
    zbMATH Keywords
    contractionless logics
    0 references
    distributive semilattices
    0 references
    semilattice relevant logics
    0 references
    commutative monoid
    0 references

    Identifiers

    zbMATH DE Number
    4019022
    0 references
    OpenAlex ID
    W2030967759
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3030795&oldid=39256615"
    Powered by MediaWiki