Bracket induction for Lambek calculus with bracket modalities

DOI10.1007/978-3-662-57784-4_5MaRDI QIDQ6155205zbMATH OpenOpenAlexFDO

Authors Glyn Morrill, Stepan Kuznetsov, Max Kanovich, Andre Scedrov

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

bracket inductioncategorial grammarLambek calculus with brackets

Mathematics Subject Classification ID

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

Recommendations

• On the recognizing power of the Lambek calculus with brackets
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• A count invariant for Lambek calculus with additives and bracket modalities
• Lambek Calculus in Natural Deduction
• Undecidability of the Lambek calculus with subexponential and bracket modalities
• scientific article; zbMATH DE number 7204441
• Proof Nets for Lambek Calculus
• scientific article; zbMATH DE number 1420785
• Models for the Lambek calculus
• Full Lambek Calculus in natural deduction

Cites work

• A count invariant for Lambek calculus with additives and bracket modalities
• Count-invariance including exponentials
• From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
• scientific article; zbMATH DE number 976409 (Why is no real title available?)
• scientific article; zbMATH DE number 7204441 (Why is no real title available?)
• Lambek calculus is NP-complete
• Language in action. Categories, lambdas and dynamic logic
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Multimodal linguistic inference
• The displacement calculus
• The Lambek calculus enriched with additional connectives
• The Mathematics of Sentence Structure
• Undecidability of the Lambek calculus with subexponential and bracket modalities

Cited in

(3)

• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• Parsing/theorem-proving for logical grammar \textit{CatLog3}
• A count invariant for Lambek calculus with additives and bracket modalities

This page was built for publication: Bracket induction for Lambek calculus with bracket modalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6155205)