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
The length of joins in Lambek calculus - MaRDI portal

The length of joins in Lambek calculus

From MaRDI portal

Publication:2513206

Jump to:navigation, search

DOI10.3103/S0027132211030028zbMath1304.03056MaRDI QIDQ2513206

A. A. Sorokin

Publication date: 2 February 2015

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

An application of proof-nets to the study of fragments of the Lambek calculus

Cites Work

This page was built for publication: The length of joins in Lambek calculus

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