Changes

User:Jon Awbrey/IDS (view source)

268 bytes removed , 15:34, 28 May 2007

Line 10,178: Line 10,178:

Which was to be shown.

+

</pre>

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

+

=====1.3.10.14. Syntactic Transformations=====

−

~~IDS. Note 174~~

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

1.3.10.14. Syntactic Transformations

+

<pre>

We have been examining several distinct but closely related

notions of indication. To discuss the import of these ideas

Line 10,206: Line 10,202:

is by means of the "rules of syntactic transformation" (ROST's)

that partially formalize the translations in question.

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~IDS. Note 175~~

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~1.3.10.14. Syntactic Transformations (cont.)~~

Rudimentary examples of ROST's are readily mined from the

12,080

edits