Minimalism in a deductive perspective

Willemijn Vermaat (Utrecht University)

In this paper we analyze the Computational System as described in the
Minimalist Program in a multimodal Categorial Grammar (=MMCG)
framework.  We can define the basic minimalist operations, such as
feature checking, Merge and Move using the internal logical
and structural reasoning facilities of the categorial system.
However, we will show how the analysis of the minimalist Move
operation in a multimodal categorial setting results in a
decomposition of Move into a logical and a structural part.
On the logical side, the concept of hypothetical reasoning provides a
principled account of Move as an abstraction operation.  On
the structural side, structural postulates capture the phenomenon of