MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to search
415 bytes added
, 21:36, 7 September 2012
Line 1,817: |
Line 1,817: |
| | | |
| <br> | | <br> |
| + | |
| + | ===Type Tables=== |
| | | |
| ====Current Work==== | | ====Current Work==== |
| + | |
| + | <br> |
| + | |
| + | <pre> |
| + | Table 47.1 Basic Types for ERs & IRs of Sign Relations |
| + | Type Symbol |
| + | Property P |
| + | Sign S |
| + | Set S |
| + | Triple T |
| + | Underlying Element U |
| + | </pre> |
| + | |
| + | <br> |
| + | |
| + | <pre> |
| + | Table 47.2 Derived Types for ERs of Sign Relations |
| + | Type Symbol Construction |
| + | Relation R S(T(U)) |
| + | </pre> |
| + | |
| + | <br> |
| + | |
| + | <pre> |
| + | Table 47.3 Derived Types for IRs of Sign Relations |
| + | Type Symbol Construction |
| + | Relation P(R) P(S(T(U))) |
| + | </pre> |
| + | |
| + | <br> |