Computer Science – Computation and Language
Scientific paper
2011-08-25
Logic and Grammar (2011) 1-20
Computer Science
Computation and Language
Scientific paper
Stabler proposes an implementation of the Chomskyan Minimalist Program, Chomsky 95 with Minimalist Grammars - MG, Stabler 97. This framework inherits a long linguistic tradition. But the semantic calculus is more easily added if one uses the Curry-Howard isomorphism. Minimalist Categorial Grammars - MCG, based on an extension of the Lambek calculus, the mixed logic, were introduced to provide a theoretically-motivated syntax-semantics interface, Amblard 07. In this article, we give full definitions of MG with algebraic tree descriptions and of MCG, and take the first steps towards giving a proof of inclusion of their generated languages.
No associations
LandOfFree
Minimalist Grammars and Minimalist Categorial Grammars, definitions toward inclusion of generated languages does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Minimalist Grammars and Minimalist Categorial Grammars, definitions toward inclusion of generated languages, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Minimalist Grammars and Minimalist Categorial Grammars, definitions toward inclusion of generated languages will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-319226