A rule-extension of the non-associative Lambek calculus

DOI10.1023/A:1020529116833zbMath1019.03019OpenAlexW1583463132MaRDI QIDQ1850955

Heinrich Wansing

Publication date: 15 December 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020529116833

zbMATH Keywords

Lambek calculuscoimplicationcategorial grammar

Mathematics Subject Classification ID

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

This page was built for publication: A rule-extension of the non-associative Lambek calculus