Search results

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

• Recursion
  > student film society > student film society committee
  823 bytes (109 words) - 08:34, 28 September 2014
• Type logic
  ...erminers are relations between sets: <<e,t>,<<e,t>,t>>. In combination with lambda-abstraction, type logic is a very powerful log
  2 KB (324 words) - 08:31, 30 August 2014
• Righthand head rule
  (i) off<sub&gt;P</sub&gt; + white<sub&gt;A</sub&gt; -&gt; off white<sub&gt;A</sub&gt; dry<sub&gt;A</sub&gt; + dock<sub&gt;N</sub&gt; -&gt; dry dock<sub&gt;N</sub&gt;
  1 KB (233 words) - 18:40, 28 September 2014
• Lenition
  t -&gt; t -&gt; d -&gt; 0
  872 bytes (121 words) - 17:47, 21 September 2014
• Implication
  ...hen ...''), also called conditional. The implication of phi and psi, phi -&gt; psi, is only false if phi (which is called the antecedent) is true while p (i) phi psi phi -&gt; psi
  1 KB (211 words) - 07:06, 16 August 2014
• Extrametricality
  ...sidered as extrametrical (indicated by angled brackets) (cf. ''Améri&lt;ca&gt;'' with antepenultimate stress, not *''Ameríca''). In English derived adje * . * . . --&gt; * * .
  2 KB (266 words) - 18:55, 22 June 2019
• Filter (syntax)
  (i) for all X,Y subset E: (X in Q and Y in Q) &lt;=&gt; intersection(X,Y) in Q (ii) All dogs bark and all dogs run &lt;=&gt;
  1 KB (188 words) - 16:20, 29 June 2014
• Propositional logic
  ...f the language are negation and the connectives &amp;, v, -&gt;, and &lt;-&gt;. [[Propositional letters]] (also ''atomic propositions'') are combined wit (iii) p -&gt; q
  1 KB (221 words) - 19:16, 27 September 2014
• Wanna-contraction
  (i) Why do you want PRO to go -&gt; ... wanna go (ii) Who<sub&gt;i </sub&gt;do you want t<sub&gt;i </sub&gt;to go -&gt; *... wanna go
  898 bytes (140 words) - 17:56, 4 September 2014
• Stray adjunction
  ameri&lt;ca&gt; -&gt; america
  1 KB (140 words) - 08:12, 16 August 2014
• Word syntax
  (i) X<sup&gt;n</sup&gt; -&gt; Y<sup&gt;n</sup&gt; X<sup&gt;af</sup&gt; where n stands for Word or Root (ii) X<sup&gt;w</sup&gt; -&gt; Y<sup&gt;w</sup&gt; X<sup&gt;w</sup&gt;
  917 bytes (152 words) - 18:45, 7 September 2014
• Propositional formula
  (phi -&gt; psi) and (phi &lt;-&gt; psi) are too
  953 bytes (160 words) - 19:13, 27 September 2014
• Syncope
  In Dutch [a:k@l@g] -&gt; [a:kl@g] 'nasty'.
  346 bytes (51 words) - 08:33, 16 August 2014
• Disjunctive ordering
  a V -&gt; V / ____C_0VC<sub&gt;0</sub&gt; b V -&gt; V / ____C<sub&gt;0</sub&gt;
  1 KB (193 words) - 16:17, 3 August 2014
• Right downward monotonicity
  (ii) Not every dog walks =&gt; not every dog walks rapidly Every dog walks =/=&gt; every dog walks rapidly
  1 KB (188 words) - 16:47, 28 September 2014
• Right upward monotonicity
  (ii) All dogs walked rapidly =&gt; all dogs walked (iv) At most two dogs walked rapidly =/=&gt; at most two dogs walked
  1 KB (188 words) - 18:28, 28 September 2014
• Projection
  '''Projection''' is a notion of [[X-bar theory]]: any X<sup&gt;n</sup&gt;, n &gt; 0, is a projection of X<sup&gt;0</sup&gt;.
  288 bytes (43 words) - 19:11, 27 September 2014
• Quantity-(in)sensitivity
  ...;; the penultimate syllable is stressed only if it is heavy: pepér&lt;ci:&gt; (cf. Hayes (1991:80).
  1 KB (211 words) - 08:04, 28 September 2014
• Scope
  ...las is determined by brackets. In the formula in (i) the subformula P(x) -&gt; Q(y) is the scope of All(x), but R(x) is outside the scope of All(x). (i) All(x) [ P(x) -&gt; Q(y) ] &amp; R(x)
  2 KB (276 words) - 15:55, 5 October 2014
• Vowel reduction
  In Dutch ''pastoor'' -&gt; ''p@stoor''.
  624 bytes (85 words) - 10:44, 31 August 2014

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)