LC Graphs for the Lambek Calculus with Product

DOI10.1007/978-3-642-14322-9_5zbMath1286.03080OpenAlexW1875426167MaRDI QIDQ3584996

Timothy A. D. Fowler

Publication date: 31 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14322-9_5

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic of natural languages (03B65) Structure of proofs (03F07) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: LC Graphs for the Lambek Calculus with Product