Search results

Create the page "Abstraction" on this wiki! See also the search results found.

Page title matches

• Lambda-abstraction
  '''Lambda-abstraction''' is the logical operation of constructing expressions denoting [[predicat [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Lambda-abstraction&lemmacode=580 Utrecht Lexicon of Linguistics]
  429 bytes (54 words) - 19:59, 16 February 2009

Page text matches

• Lambda-abstraction
  '''Lambda-abstraction''' is the logical operation of constructing expressions denoting [[predicat [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Lambda-abstraction&lemmacode=580 Utrecht Lexicon of Linguistics]
  429 bytes (54 words) - 19:59, 16 February 2009
• Generalized quantifier
  ...a compositional translation of quantified sentences making use of [[lambda-abstraction]]. He showed that a compositional translation of (i) into (ii) is possible
  2 KB (299 words) - 15:29, 15 February 2009
• Pronoun of laziness
  ...rential with it. Full implementation of this analysis by means of [[lambda-abstraction]] is, however, more involved.
  1 KB (189 words) - 19:12, 27 September 2014
• Type logic
  ...ets: <<e,t>,<<e,t>,t>>. In combination with lambda-abstraction, type logic is a very powerful logic for semantic representation. It has be
  2 KB (324 words) - 08:31, 30 August 2014
• Montague Grammar
  ...IL is a combination of [[intensional logic]] and type logic with [[lambda-abstraction]] which is interpreted relative to a model containing possible worlds and m
  2 KB (304 words) - 18:24, 21 September 2014
• Neurocognitive linguistics
  ...ain, while other theories were trying to represent grammar as some kind of abstraction based on analysis of linguistic productions. Lamb re-labelled the theory '
  3 KB (495 words) - 06:17, 8 October 2017
• Linguistic information system
  ...rstand this system itself, whereas other theories represent language as an abstraction based on analysis of the system's output, without any detailed attention to
  4 KB (600 words) - 06:06, 8 October 2017
• Portal:Semantics
  ...-- [[Funktionale Applikation]] -- [[Interpretation function]] -- [[Lambda-abstraction]] -- [[Lambda-operator]] -- [[Metalanguage]] -- [[Meta-variable]] -- [[Pred
  8 KB (928 words) - 09:11, 20 May 2010
• Performative
  ...ral theory of speech acts, stating that "the traditional 'statement' is an abstraction, an ideal" (Austin 1962: 148). Performative verbs as criteria for classifyi
  10 KB (1,477 words) - 13:07, 2 March 2018
• UNITYP - Kölner Universalienprojekt
  ...t dabei in drei Bereiche teilbar, die (1) ''relationale'' Techniken, wie ''abstraction, collection, mass, measure'', (2) ''klassifikatorische'' Techniken anhand v
  14 KB (1,875 words) - 08:36, 30 August 2014
• Cohesion
  | Level of abstraction||semantic||lexicogrammatical
  22 KB (3,425 words) - 17:49, 26 June 2010