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
Annotated Natural Deduction for Adaptive Reasoning - MaRDI portal

Annotated Natural Deduction for Adaptive Reasoning (Q3305674)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Annotated Natural Deduction for Adaptive Reasoning
scientific article

    Statements

    title
    Annotated Natural Deduction for Adaptive Reasoning (English)
    0 references
    author
    Patrick Allo
    0 references
    Giuseppe Primiero
    0 references
    publication date
    10 August 2020
    0 references
    zbMATH Keywords
    paraconsistent logic
    0 references
    adaptive logic
    0 references
    natural deduction
    0 references
    classical recapture
    0 references

    Identifiers

    zbMATH DE Number
    7229653
    0 references
    OpenAlex ID
    W2787151127
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3305674&oldid=36606020"
    Powered by MediaWiki