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

scientific article; zbMATH DE number 823603

From MaRDI portal

Publication:4856959

Jump to:navigation, search

zbMath0832.03016MaRDI QIDQ4856959

John K. Slaney

Publication date: 5 December 1995

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

zbMATH Keywords

dualities linear logic relevant logic modelling of propositional systems

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

This page was built for publication:

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