We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities

Abstract: We give a proof-theoretic and algorithmic complexity analysis for systems introduced by Morrill to serve as the core of the CatLog categorial grammar parser. We consider two recent versions of Morrill's calculi, and focus on their fragments including multiplicative (Lambek) connectives, additive conjunction and disjunction, brackets and bracket modalities, and the ! subexponential modality. For both systems, we resolve issues connected with the cut rule and provide necessary modifications, after which we prove admissibility of cut (cut elimination theorem). We also prove algorithmic undecidability for both calculi, and show that categorial grammars based on them can generate arbitrary recursively enumerable languages.
Comments: Accepted for publication in the Journal of Logic, Language, and Information
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
Cite as: arXiv:2008.00075 [cs.LO]
  (or arXiv:2008.00075v2 [cs.LO] for this version)

Submission history

From: Stepan Kuznetsov [view email]
[v1] Fri, 31 Jul 2020 20:42:13 GMT (73kb,D)
[v2] Wed, 30 Sep 2020 20:02:13 GMT (67kb,D)

Link back to: arXiv, form interface, contact.