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
HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS - MaRDI portal

HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590)

From MaRDI portal
scientific article; zbMATH DE number 7239854
Language Label Description Also known as
English
HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
scientific article; zbMATH DE number 7239854

    Statements

    title
    HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (English)
    0 references
    author
    Alex Citkin
    0 references
    publication date
    26 August 2020
    0 references
    zbMATH Keywords
    intermediate logic
    0 references
    positive logic
    0 references
    primitive variety
    0 references
    Heyting algebra
    0 references
    implicative lattice
    0 references
    cites work
    Q5203175
    0 references
    Q3093852
    0 references
    Q3934450
    0 references
    Q3772270
    0 references
    Q4049132
    0 references
    Q4820592
    0 references
    Q4220413
    0 references
    Q5590782
    0 references
    Q3226736
    0 references
    Q5682023
    0 references
    Q4133602
    0 references
    Q4146710
    0 references
    Q5636854
    0 references
    Q4133597
    0 references
    Q5734410
    0 references
    Q5518356
    0 references
    Q3762312
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B55
    0 references
    03B60
    0 references
    06D20
    0 references
    03C05
    0 references
    zbMATH DE Number
    7239854
    0 references
    OpenAlex ID
    W2935251583
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5117590&oldid=37122397"
    Powered by MediaWiki