Categorial Minimalist Grammar

TL;DR

This paper introduces categorial minimalist grammars by integrating minimalist and categorial grammars within a linear logic framework, and extends discourse representation theory with lambda-mu calculus to handle semantic derivations.

Contribution

It presents a novel representation of minimalist grammars in a categorial logic system and extends DRT with lambda-mu calculus for improved semantic analysis.

Findings

Successful integration of minimalist and categorial grammars within linear logic

Demonstration of semantic derivation from syntactic analysis using lambda-mu-DRT

Complete example illustrating the derivation process

Abstract

We first recall some basic notions on minimalist grammars and on categorial grammars. Next we shortly introduce partially commutative linear logic, and our representation of minimalist grammars within this categorial system, the so-called categorial minimalist grammars. Thereafter we briefly present \lambda\mu-DRT (Discourse Representation Theory) an extension of \lambda-DRT (compositional DRT) in the framework of \lambda\mu calculus: it avoids type raising and derives different readings from a single semantic representation, in a setting which follows discourse structure. We run a complete example which illustrates the various structures and rules that are needed to derive a semantic representation from the categorial view of a transformational syntactic analysis.