A Count Invariant for Lambek Calculus with Additives and Bracket Modalities

DOI10.1007/978-3-642-39998-5_17zbMath1390.03021OpenAlexW1491951931MaRDI QIDQ5327387

Oriol Valentín, Daniel Serret, Glyn Morrill

Publication date: 7 August 2013

Published in: Formal Grammar (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39998-5_17

Mathematics Subject Classification ID

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

Related Items (2)

Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ Bracket induction for Lambek calculus with bracket modalities

This page was built for publication: A Count Invariant for Lambek Calculus with Additives and Bracket Modalities