Pregroup Calculus as a Logic Functor

DOI10.1007/978-3-540-73445-1_11zbMath1213.03041OpenAlexW1599695016MaRDI QIDQ3612659

Annie Foret

Publication date: 10 March 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-73445-1_11

zbMATH Keywords

cut eliminationpregroupsLambek categorial grammarslogic functor

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: Pregroup Calculus as a Logic Functor