Extraction in the Lambek-Grishin Calculus

DOI10.1007/978-3-642-14729-6_5zbMath1286.03077OpenAlexW1509458798MaRDI QIDQ3582677

Arno Bastenhof

Publication date: 24 August 2010

Published in: Interfaces: Explorations in Logic, Language and Computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: Extraction in the Lambek-Grishin Calculus