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 6423725 - MaRDI portal

scientific article; zbMATH DE number 6423725

From MaRDI portal

Publication:4982330

Jump to:navigation, search

zbMath1321.03036MaRDI QIDQ4982330

Gemma Robles

Publication date: 9 April 2015

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

zbMATH Keywords

substructural logics admissible rules relevant logics rule \(\delta\)rule assertion

Mathematics Subject Classification ID

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

Related Items (1)

Basic quasi-Boolean expansions of relevance logics

This page was built for publication:

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