Search results
Jump to navigation
Jump to search
Create the page "Abstraction" on this wiki! See also the search results found.
Page title matches
- '''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''' 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
- ...a compositional translation of quantified sentences making use of [[lambda-abstraction]]. He showed that a compositional translation of (i) into (ii) is possible2 KB (299 words) - 15:29, 15 February 2009
- ...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
- ...ets: <<e,t>,<<e,t>,t>>. In combination with lambda-abstraction, type logic is a very powerful logic for semantic representation. It has be2 KB (324 words) - 08:31, 30 August 2014
- ...IL is a combination of [[intensional logic]] and type logic with [[lambda-abstraction]] which is interpreted relative to a model containing possible worlds and m2 KB (304 words) - 18:24, 21 September 2014
- ...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
- ...rstand this system itself, whereas other theories represent language as an abstraction based on analysis of the system's output, without any detailed attention to4 KB (600 words) - 06:06, 8 October 2017
- ...-- [[Funktionale Applikation]] -- [[Interpretation function]] -- [[Lambda-abstraction]] -- [[Lambda-operator]] -- [[Metalanguage]] -- [[Meta-variable]] -- [[Pred8 KB (928 words) - 09:11, 20 May 2010
- ...ral theory of speech acts, stating that "the traditional 'statement' is an abstraction, an ideal" (Austin 1962: 148). Performative verbs as criteria for classifyi10 KB (1,477 words) - 13:07, 2 March 2018
- ...t dabei in drei Bereiche teilbar, die (1) ''relationale'' Techniken, wie ''abstraction, collection, mass, measure'', (2) ''klassifikatorische'' Techniken anhand v14 KB (1,875 words) - 08:36, 30 August 2014
- | Level of abstraction||semantic||lexicogrammatical22 KB (3,425 words) - 17:49, 26 June 2010