MyWikiBiz, Author Your Legacy — Thursday October 30, 2025
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> |