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
Lattice logic properly displayed - MaRDI portal

Lattice logic properly displayed (Q1685923)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lattice logic properly displayed
scientific article

    Statements

    title
    Lattice logic properly displayed (English)
    0 references
    author
    Giuseppe Greco
    0 references
    Alessandra Palmigiano
    0 references
    publication date
    20 December 2017
    0 references
    zbMATH Keywords
    lattice logic
    0 references
    substructural logics
    0 references
    algebraic proof theory
    0 references
    sequent calculi
    0 references
    cut elimination
    0 references
    display calculi
    0 references
    multi-type calculi
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B50
    0 references
    03B47
    0 references
    03B52
    0 references
    03F05
    0 references
    zbMATH DE Number
    6820467
    0 references
    OpenAlex ID
    W2979689738
    0 references
    arXiv ID
    1612.05930
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1685923&oldid=33402007"
    Powered by MediaWiki