Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

Details Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

2004-08-15

arxiv.org/abs/cs/0408037v1

Computer Science

Computation and Language

20 pages

Scientific paper

We investigate the possibility of modelling the syntax and semantics of natural language by constraints, or rules, imposed by the multi-dimensional type theory Nabla. The only multiplicity we explicitly consider is two, namely one dimension for the syntax and one dimension for the semantics, but the general perspective is important. For example, issues of pragmatics could be handled as additional dimensions. One of the main problems addressed is the rather complicated repertoire of operations that exists besides the notion of categories in traditional Montague grammar. For the syntax we use a categorial grammar along the lines of Lambek. For the semantics we use so-called lexical and logical combinators inspired by work in natural logic. Nabla provides a concise interpretation and a sequent calculus as the basis for implementations.

Affiliated with

Also associated with

No associations

Rating

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics 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 Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-596787