MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to search
294 bytes removed
, 20:12, 13 September 2012
Line 1,817: |
Line 1,817: |
| | | |
| ===Type Tables=== | | ===Type Tables=== |
− |
| |
− | ====Completed Work====
| |
| | | |
| <br> | | <br> |
Line 1,837: |
Line 1,835: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |} | | |} |
− |
| |
− | <br>
| |
− |
| |
− | ====Current Work====
| |
| | | |
| <br> | | <br> |
Line 1,856: |
Line 1,850: |
| | <math>S(T(U))\!</math> | | | <math>S(T(U))\!</math> |
| |} | | |} |
− |
| |
− | <br>
| |
− |
| |
− | <pre>
| |
− | Table 47.2 Derived Types for ERs of Sign Relations
| |
− | Type Symbol Construction
| |
− | Relation R S(T(U))
| |
− | </pre>
| |
| | | |
| <br> | | <br> |
Line 1,879: |
Line 1,865: |
| | <math>P(S(T(U)))\!</math> | | | <math>P(S(T(U)))\!</math> |
| |} | | |} |
− |
| |
− | <br>
| |
− |
| |
− | <pre>
| |
− | Table 47.3 Derived Types for IRs of Sign Relations
| |
− | Type Symbol Construction
| |
− | Relation P(R) P(S(T(U)))
| |
− | </pre>
| |
| | | |
| <br> | | <br> |