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

scientific article; zbMATH DE number 517045

From MaRDI portal

Publication:4282573

Jump to:navigation, search

zbMath0795.18008MaRDI QIDQ4282573

Richard F. Blute

Publication date: 4 September 1994

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

zbMATH Keywords

proof nets multiplicative linear logic closed categories coherence theorems autonomous categories autonomous deductive system incompatibility of graphs short trip

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Subsystems of classical logic (including intuitionistic logic) (03B20) Foundations, relations to logic and deductive systems (18A15)

Related Items

Linear Läuchli semantics, Natural deduction and coherence for weakly distributive categories, Proof Nets, Coends and the Yoneda Isomorphism, Linear logic, coherence and dinaturality, Coherence for star-autonomous categories

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