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

Bilattice logic properly displayed (Q2328914)

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

    Statements

    title
    Bilattice logic properly displayed (English)
    0 references
    author
    Giuseppe Greco
    0 references
    Fei Liang
    0 references
    Alessandra Palmigiano
    0 references
    Umberto Rivieccio
    0 references
    publication date
    16 October 2019
    0 references
    zbMATH Keywords
    non-classical logics
    0 references
    bilattice logic
    0 references
    many-valued logics
    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
    cites work
    Q3206928
    0 references
    Display logic
    0 references
    Unified Correspondence
    0 references
    Q4313857
    0 references
    Q4636308
    0 references
    Displaying modal logic
    0 references
    Q4661974
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B52
    0 references
    03B50
    0 references
    03F05
    0 references
    zbMATH DE Number
    7118183
    0 references
    OpenAlex ID
    W2964333818
    0 references
    arXiv ID
    1709.02167
    0 references
    Wikidata QID
    Q129795409
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2328914&oldid=37851951"
    Powered by MediaWiki