Lambek calculus with a unit and one division

DOI10.3103/S0027132211040085zbMath1304.03053MaRDI QIDQ2513229

S. D. Kuznetsov

Publication date: 2 February 2015

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Subexponentials in non-commutative linear logic

Cites Work

• Quantales and (noncommutative) linear logic

This page was built for publication: Lambek calculus with a unit and one division