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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:2863911

Jump to:navigation, search

zbMath1276.03013MaRDI QIDQ2863911

Yuichi Goto, Jingde Cheng

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107000485?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

knowledge representation reasoning relevant logics automated forward deduction strong relevance

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) Foundations of classical theories (including reverse mathematics) (03B30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication:

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