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
Modulo reasoning. I: Logic of undeducibility - MaRDI portal

Modulo reasoning. I: Logic of undeducibility

From MaRDI portal

Publication:6581941

Jump to:navigation, search

DOI10.21146/2074-1472-2024-30-1-11-26zbMath1547.03187MaRDI QIDQ6581941

Dmitriĭ Vladimirovich Zaĭtsev

Publication date: 1 August 2024

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

zbMATH Keywords

non-monotonicity formal argumentation modulo reasoning undeducibility

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: Modulo reasoning. I: Logic of undeducibility

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