Matches in SemOpenAlex for { <https://semopenalex.org/work/W1889064639> ?p ?o ?g. }
- W1889064639 abstract "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." @default.
- W1889064639 created "2016-06-24" @default.
- W1889064639 creator A5005970338 @default.
- W1889064639 date "2004-08-15" @default.
- W1889064639 modified "2023-09-27" @default.
- W1889064639 title "Multi-dimensional Type Theory: Rules, Categories and Combinators for Syntax and Semantics" @default.
- W1889064639 cites W1494691147 @default.
- W1889064639 cites W1514119099 @default.
- W1889064639 cites W1541113845 @default.
- W1889064639 cites W1554021964 @default.
- W1889064639 cites W1584924167 @default.
- W1889064639 cites W1770974247 @default.
- W1889064639 cites W1973351289 @default.
- W1889064639 cites W2026822390 @default.
- W1889064639 cites W2075183022 @default.
- W1889064639 cites W2075322664 @default.
- W1889064639 cites W2139138223 @default.
- W1889064639 cites W2148109221 @default.
- W1889064639 cites W2154273644 @default.
- W1889064639 cites W2160027481 @default.
- W1889064639 cites W2163281333 @default.
- W1889064639 cites W2169262988 @default.
- W1889064639 cites W2328580899 @default.
- W1889064639 cites W2329766482 @default.
- W1889064639 cites W2489637125 @default.
- W1889064639 cites W52246302 @default.
- W1889064639 cites W608264781 @default.
- W1889064639 cites W1518877973 @default.
- W1889064639 cites W2798528726 @default.
- W1889064639 hasPublicationYear "2004" @default.
- W1889064639 type Work @default.
- W1889064639 sameAs 1889064639 @default.
- W1889064639 citedByCount "3" @default.
- W1889064639 crossrefType "posted-content" @default.
- W1889064639 hasAuthorship W1889064639A5005970338 @default.
- W1889064639 hasConcept C114408938 @default.
- W1889064639 hasConcept C138885662 @default.
- W1889064639 hasConcept C154945302 @default.
- W1889064639 hasConcept C156325763 @default.
- W1889064639 hasConcept C172265290 @default.
- W1889064639 hasConcept C184337299 @default.
- W1889064639 hasConcept C18903297 @default.
- W1889064639 hasConcept C199360897 @default.
- W1889064639 hasConcept C199837984 @default.
- W1889064639 hasConcept C200065993 @default.
- W1889064639 hasConcept C204321447 @default.
- W1889064639 hasConcept C2777299769 @default.
- W1889064639 hasConcept C39890363 @default.
- W1889064639 hasConcept C41008148 @default.
- W1889064639 hasConcept C41895202 @default.
- W1889064639 hasConcept C58646249 @default.
- W1889064639 hasConcept C60048249 @default.
- W1889064639 hasConcept C61151141 @default.
- W1889064639 hasConcept C69298649 @default.
- W1889064639 hasConcept C79678938 @default.
- W1889064639 hasConcept C840598 @default.
- W1889064639 hasConcept C86803240 @default.
- W1889064639 hasConcept C93682546 @default.
- W1889064639 hasConceptScore W1889064639C114408938 @default.
- W1889064639 hasConceptScore W1889064639C138885662 @default.
- W1889064639 hasConceptScore W1889064639C154945302 @default.
- W1889064639 hasConceptScore W1889064639C156325763 @default.
- W1889064639 hasConceptScore W1889064639C172265290 @default.
- W1889064639 hasConceptScore W1889064639C184337299 @default.
- W1889064639 hasConceptScore W1889064639C18903297 @default.
- W1889064639 hasConceptScore W1889064639C199360897 @default.
- W1889064639 hasConceptScore W1889064639C199837984 @default.
- W1889064639 hasConceptScore W1889064639C200065993 @default.
- W1889064639 hasConceptScore W1889064639C204321447 @default.
- W1889064639 hasConceptScore W1889064639C2777299769 @default.
- W1889064639 hasConceptScore W1889064639C39890363 @default.
- W1889064639 hasConceptScore W1889064639C41008148 @default.
- W1889064639 hasConceptScore W1889064639C41895202 @default.
- W1889064639 hasConceptScore W1889064639C58646249 @default.
- W1889064639 hasConceptScore W1889064639C60048249 @default.
- W1889064639 hasConceptScore W1889064639C61151141 @default.
- W1889064639 hasConceptScore W1889064639C69298649 @default.
- W1889064639 hasConceptScore W1889064639C79678938 @default.
- W1889064639 hasConceptScore W1889064639C840598 @default.
- W1889064639 hasConceptScore W1889064639C86803240 @default.
- W1889064639 hasConceptScore W1889064639C93682546 @default.
- W1889064639 hasLocation W18890646391 @default.
- W1889064639 hasOpenAccess W1889064639 @default.
- W1889064639 hasPrimaryLocation W18890646391 @default.
- W1889064639 hasRelatedWork W118056183 @default.
- W1889064639 hasRelatedWork W119980536 @default.
- W1889064639 hasRelatedWork W1511026263 @default.
- W1889064639 hasRelatedWork W1555476679 @default.
- W1889064639 hasRelatedWork W1556880224 @default.
- W1889064639 hasRelatedWork W1574381461 @default.
- W1889064639 hasRelatedWork W1590346340 @default.
- W1889064639 hasRelatedWork W1820513038 @default.
- W1889064639 hasRelatedWork W2020741233 @default.
- W1889064639 hasRelatedWork W2092570590 @default.
- W1889064639 hasRelatedWork W2099324118 @default.
- W1889064639 hasRelatedWork W2108948499 @default.
- W1889064639 hasRelatedWork W2148109221 @default.
- W1889064639 hasRelatedWork W2167547784 @default.
- W1889064639 hasRelatedWork W2210881985 @default.
- W1889064639 hasRelatedWork W2382631092 @default.