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

Download:

Current browse context:

cs.CL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

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

Computer Science > Computation and Language

Title: First order linear logic and tensor type calculus for categorial grammars

Abstract: We study relationship between first order multiplicative linear logic (MLL1), which has been known to provide representations to different categorial grammars, and the recently introduced extended tensor type calculus (ETTC). We identify a fragment of MLL1, which seems sufficient for many grammar representations, and establish a correspondence between ETTC and this fragment. The system ETTC, thus, can be seen as an alternative syntax and intrinsic deductive system together with a geometric representation for the latter. We also give a natural deduction formulation of ETTC, which might be convenient.
Subjects: Computation and Language (cs.CL)
Cite as: arXiv:2112.15253 [cs.CL]
  (or arXiv:2112.15253v1 [cs.CL] for this version)

Submission history

From: Sergey A. Slavnov [view email]
[v1] Fri, 31 Dec 2021 00:35:48 GMT (26kb)

Link back to: arXiv, form interface, contact.