Changes

MyWikiBiz, Author Your Legacy — Monday December 23, 2024
Jump to navigationJump to search
→‎Alternative Versions: integrate by parts
Line 49: Line 49:     
'''New'''
 
'''New'''
  −
<pre>
  −
A notation in the style of "S :> T" is now introduced,
  −
to be read among many others in this manifold of ways:
  −
  −
|  S covers T
  −
|
  −
|  S governs T
  −
|
  −
|  S rules T
  −
|
  −
|  S subsumes T
  −
|
  −
|  S types over T
  −
</pre>
  −
  −
<pre>
  −
The form "S :> T" is here recruited for polymorphic
  −
employment in at least the following types of roles:
  −
  −
1.  To signify that an individually named or quoted string T is
  −
    being typed as a sentence S of the language of interest !L!.
  −
  −
2.  To express the fact or to make the assertion that each member
  −
    of a specified set of strings T c !A!* also belongs to the
  −
    syntactic category S, the one that qualifies a string as
  −
    being a sentence in the relevant formal language !L!.
  −
  −
3.  To specify the intension or to signify the intention that every
  −
    string that fits the conditions of the abstract type T must also
  −
    fall under the grammatical heading of a sentence, as indicated by
  −
    the type name "S", all within the target language !L!.
  −
</pre>
      
<pre>
 
<pre>
12,080

edits

Navigation menu