Bracket induction for Lambek calculus with bracket modalities

DOI10.1007/978-3-662-57784-4_5zbMath1512.03030OpenAlexW2883445063MaRDI QIDQ6155205

Stepan Kuznetsov, Andrej Scedrov, Glyn Morrill, Max I. Kanovich

Publication date: 12 June 2023

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

Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/10081699/

zbMATH Keywords

categorial grammarLambek calculus with bracketsbracket induction

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

Parsing/theorem-proving for logical grammar \textit{CatLog3}, The multiplicative-additive Lambek calculus with subexponential and bracket modalities

Cites Work

• Linear logic
• Language in action. Categories, lambdas and dynamic logic
• The Lambek calculus enriched with additional connectives
• Undecidability of the Lambek calculus with subexponential and bracket modalities
• Multimodal linguistic inference
• The displacement calculus
• Lambek calculus is NP-complete
• The Mathematics of Sentence Structure
• From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
• Logic Programming with Focusing Proofs in Linear Logic
• A Count Invariant for Lambek Calculus with Additives and Bracket Modalities
• Unnamed Item
• Unnamed Item
• Unnamed Item