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
Logical foundations for hybrid type-logical grammars - MaRDI portal

Logical foundations for hybrid type-logical grammars

From MaRDI portal

Publication:6349609

Jump to:navigation, search

DOI10.1007/S10849-021-09348-5zbMath1515.03115arXiv2009.10387MaRDI QIDQ6349609

Richard Moot, Symon Jory Stevens-Guille

Publication date: 22 September 2020

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Logical foundations for hybrid type-logical grammars

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