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
The RM paraconsistent refutation system - MaRDI portal

The RM paraconsistent refutation system

From MaRDI portal

Publication:3400308

Jump to:navigation, search

DOI10.12775/LLP.2009.005zbMath1191.03020MaRDI QIDQ3400308

Tomasz Skura

Publication date: 5 February 2010

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

relevant logic paraconsistent logic refutation systems

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (1)

Implicational Logic, Relevance, and Refutability

This page was built for publication: The RM paraconsistent refutation system

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3400308&oldid=16685307"