Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives

DOI10.1007/978-3-642-39998-5_15zbMath1390.68368OpenAlexW101857216MaRDI QIDQ5327384

Stepan Kuznetsov

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_15

Mathematics Subject Classification ID

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

Related Items (4)

Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Hardest languages for conjunctive and Boolean grammars ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ Infinitary action logic with exponentiation

This page was built for publication: Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives