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; zbMATH DE number 6868329 - MaRDI portal

scientific article; zbMATH DE number 6868329

From MaRDI portal

Publication:4639916

Jump to:navigation, search

zbMath1422.03039MaRDI QIDQ4639916

David Makinson

Publication date: 14 May 2018

Full work available at URL: https://ojs.victoria.ac.nz/ajl/article/view/4009/3617

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

Mathematics Subject Classification ID

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

Related Items (2)

RELEVANCE FOR THE CLASSICAL LOGICIAN ⋮ Relevance-Sensitive Truth-Trees

This page was built for publication:

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