Changes

Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)

294 bytes removed , 20:12, 13 September 2012

Line 1,817: Line 1,817:

===Type Tables===

−

~~====Completed Work====~~

Line 1,837: Line 1,835:

\end{matrix}</math>

|}

−

~~ ~~

−

~~====Current Work====~~

Line 1,856: Line 1,850:

| <math>S(T(U))\!</math>

|}

−

~~ ~~

−

~~<pre>~~

−

~~Table 47.2 Derived Types for ERs of Sign Relations~~

−

~~Type Symbol Construction~~

−

~~Relation R S(T(U))~~

−

~~</pre>~~

Line 1,879: Line 1,865:

| <math>P(S(T(U)))\!</math>

|}

−

~~ ~~

−

~~<pre>~~

−

~~Table 47.3 Derived Types for IRs of Sign Relations~~

−

~~Type Symbol Construction~~

−

~~Relation P(R) P(S(T(U)))~~

−

~~</pre>~~

12,080

edits