Classical non-commutative linear logic have been investigated by \textit{V. M. Abrusci} [J. Symb. Log. 56, No. 4, 1403--1451 (1991; Zbl 0746.03044); Lond. Math. Soc. Lect. Note Ser. 222, 271--296 (1995; Zbl 0828.03028)], while non-commutative intuitionistic linear logic (NILL), restricted to the multiplicative fragment, was first introduced in the \textit{syntactic calculus} of \textit{J. Lambek} [Am. Math. Mon. 65, 154--170 (1958; Zbl 0080.00702)], where the basic connectives of syntactic calculus, the tensor product \(\cdot\), the left division \(\backslash\) and the right division \(/\), respectively correspond to the multiplicative conjunction and the two implications (linear post-implication and linear retro-implication) of NILL so that the synthetic calculus corresponds precisely to the multiplicative, exponential-free, fragment of NILL. In standard categorical grammar [\textit{K. Ajdukiewicz}, Stud. Philos. 1, 1--27 (1935; Zbl 0015.33702); \textit{Y. Bar-Hillel}, in: Language and Information 61--74 (1964); Language 29, 47--58 (1953; Zbl 0156.25402)], the communication between linguistic expressions is essentially obtained by means of function-argument relation, being unable to derive discontinuous domains or long-distance relations, while Lambek's syntactic calculus allows a dynamic treatment of linguistic resources by means of flexible systems of inference rules such as the type raising rule. This paper proposes a new way of looking at the formal resources of the syntactic calculus by taking advantage of the logical properties of classical noncommutative linear logic with particular reference to its multiplicative \(\backslash\) and exponential-free fragment (MNLL), a conservative extension of the syntactic calculus. Although MNLL has formulations both in the two-sided sequent calculus and in the one-sided sequent calculus, the author works in the one-sided sequent calculus, because the chosen system enjoys cut-elimination, allowing the introduction of planar proof nets that are significantly appropriate for the geometric representations of linguistic environments. It is shown that the multiplicative system MNLL offers a suitable environment for the formal analysis of natural language, due to its classical setting allowing the de Morgan laws and the laws for the two negations. The calculus in this paper is essentially syntactic, missing both the prosodic and semantic dimensions that are necessary for the foundation of a complete type logical grammar.
- Lambek's syntactic calculus and noncommutative variants of linear logic: laws and proof-nets
- On Residuation
- A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
- Soft subexponentials and multiplexing
- scientific article; zbMATH DE number 786486
- scientific article; zbMATH DE number 1342286
- scientific article; zbMATH DE number 1330453
- A geometrical representation of the basic laws of categorial grammar
- Linguistic application of first order intuitionistic linear logic
- On the Lambek calculus with an exchange modality
- From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)}
- Non-commutative logic for compositional distributional semantics
- On involutive nonassociative Lambek calculus
- \(\mathrm{NL}_\lambda\) as the logic of scope and movement
- scientific article; zbMATH DE number 2185722 (Why is no real title available?)
- scientific article; zbMATH DE number 786486 (Why is no real title available?)
- Lambek's syntactic calculus and noncommutative variants of linear logic: laws and proof-nets
- Linguistic application of first order intuitionistic linear logic
- Proof-theoretic aspects of hybrid type-logical grammars
- Symmetric categorial grammar
This page was built for publication: Non-commutative linear logic in linguistics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q700787)
