Making first order linear logic a generating grammar

It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic (MLL1). We show that the fragment of interest is equivalent to the recently introduced extended tensor type calculus (ETTC). ETTC is a calculus of specific typed terms,...

Full description

Bibliographic Details

Published in:	Logical Methods in Computer Science
Main Author:	Sergey Slavnov
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2023-11-01
Subjects:	computer science - computation and language computer science - logic in computer science mathematics - logic
Online Access:	https://lmcs.episciences.org/9727/pdf