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
Rasiowa-Sikorski deduction systems with the rule of cut: a case study - MaRDI portal

Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Rasiowa-Sikorski deduction systems with the rule of cut: a case study
scientific article

    Statements

    title
    Rasiowa-Sikorski deduction systems with the rule of cut: a case study (English)
    0 references
    author
    Mateusz Ignaszak
    0 references
    Szymon Chlebowski
    0 references
    publication date
    19 June 2019
    0 references
    Mathematics Subject Classification ID
    03B53
    0 references
    03F05
    0 references
    03B22
    0 references
    zbMATH DE Number
    7067982
    0 references
    zbMATH Keywords
    R-S system
    0 references
    rule of cut
    0 references
    paraconsistent logics
    0 references
    \(\mathbf {KE}\) tableau system
    0 references
    inferential erotetic logic
    0 references
    OpenAlex ID
    W2796853096
    0 references
    cites work
    Q3909031
    0 references
    Q4250060
    0 references
    Q5695174
    0 references
    Q4487295
    0 references
    Q2721192
    0 references
    Don't eliminate cut
    0 references
    Q4440555
    0 references
    Q3996619
    0 references
    Q4941933
    0 references
    Q4215637
    0 references
    Q3279278
    0 references
    Q5734410
    0 references
    Q5560258
    0 references
    Q4610460
    0 references
    Socratic proofs
    0 references
    Q2872612
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2422312&oldid=36500890"
    Powered by MediaWiki