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

scientific article; zbMATH DE number 1406810

From MaRDI portal

Publication:4940726

Jump to:navigation, search

zbMath0941.03524MaRDI QIDQ4940726

Giovanni Sambin

Publication date: 28 February 2000

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

zbMATH Keywords

substructural logic semantics point-free topology formal topology pretopology

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics

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