Line 1,824: |
Line 1,824: |
| {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" | | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" |
| |+ style="height:30px" | | | |+ style="height:30px" | |
− | <math>\text{Table 48.1} ~~ \operatorname{ER}(\text{A}) : \text{Extensional Representation of} ~ L(\text{A})\!</math> | + | <math>\text{Table 48.1} ~~ \operatorname{ER}(L_\text{A}) : \text{Extensional Representation of} ~ L_\text{A}\!</math> |
| |- style="height:40px; background:#f0f0ff" | | |- style="height:40px; background:#f0f0ff" |
| | <math>\text{Object}\!</math> | | | <math>\text{Object}\!</math> |
Line 1,890: |
Line 1,890: |
| \\ | | \\ |
| {}^{\langle} \text{u} {}^{\rangle} | | {}^{\langle} \text{u} {}^{\rangle} |
| + | \end{matrix}</math> |
| + | |} |
| + | |
| + | <br> |
| + | |
| + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" |
| + | |+ style="height:30px" | |
| + | <math>\text{Table 48.2} ~~ \operatorname{ER}(\operatorname{Den}(L_\text{A})) : \text{Denotative Component of} ~ L_\text{A}\!</math> |
| + | |- style="height:40px; background:#f0f0ff" |
| + | | <math>\text{Object}\!</math> |
| + | | <math>\text{Sign}\!</math> |
| + | | <math>\text{Transition}\!</math> |
| + | |- |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | \text{A} |
| + | \\ |
| + | \text{A} |
| + | \end{matrix}</math> |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | {}^{\langle} \text{A} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \text{i} {}^{\rangle} |
| + | \end{matrix}</math> |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | ({}^{\langle} \text{A} {}^{\rangle}, \text{A}) |
| + | \\ |
| + | ({}^{\langle} \text{i} {}^{\rangle}, \text{A}) |
| + | \end{matrix}</math> |
| + | |- |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | \text{B} |
| + | \\ |
| + | \text{B} |
| + | \end{matrix}</math> |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | {}^{\langle} \text{B} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \text{u} {}^{\rangle} |
| + | \end{matrix}</math> |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | ({}^{\langle} \text{B} {}^{\rangle}, \text{B}) |
| + | \\ |
| + | ({}^{\langle} \text{u} {}^{\rangle}, \text{B}) |
| \end{matrix}</math> | | \end{matrix}</math> |
| |} | | |} |
Line 1,923: |
Line 1,972: |
| {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" | | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" |
| |+ style="height:30px" | | | |+ style="height:30px" | |
− | <math>\text{Table 49.1} ~~ \operatorname{ER}(\text{B}) : \text{Extensional Representation of} ~ L(\text{B})\!</math> | + | <math>\text{Table 49.1} ~~ \operatorname{ER}(L_\text{B}) : \text{Extensional Representation of} ~ L_\text{B}\!</math> |
| |- style="height:40px; background:#f0f0ff" | | |- style="height:40px; background:#f0f0ff" |
| | <math>\text{Object}\!</math> | | | <math>\text{Object}\!</math> |
Line 1,989: |
Line 2,038: |
| \\ | | \\ |
| {}^{\langle} \text{i} {}^{\rangle} | | {}^{\langle} \text{i} {}^{\rangle} |
| + | \end{matrix}</math> |
| + | |} |
| + | |
| + | <br> |
| + | |
| + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" |
| + | |+ style="height:30px" | |
| + | <math>\text{Table 49.2} ~~ \operatorname{ER}(\operatorname{Den}(L_\text{B})) : \text{Denotative Component of} ~ L_\text{B}\!</math> |
| + | |- style="height:40px; background:#f0f0ff" |
| + | | <math>\text{Object}\!</math> |
| + | | <math>\text{Sign}\!</math> |
| + | | <math>\text{Transition}\!</math> |
| + | |- |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | \text{A} |
| + | \\ |
| + | \text{A} |
| + | \end{matrix}</math> |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | {}^{\langle} \text{A} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \text{u} {}^{\rangle} |
| + | \end{matrix}</math> |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | ({}^{\langle} \text{A} {}^{\rangle}, \text{A}) |
| + | \\ |
| + | ({}^{\langle} \text{u} {}^{\rangle}, \text{A}) |
| + | \end{matrix}</math> |
| + | |- |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | \text{B} |
| + | \\ |
| + | \text{B} |
| + | \end{matrix}</math> |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | {}^{\langle} \text{B} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \text{i} {}^{\rangle} |
| + | \end{matrix}</math> |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | ({}^{\langle} \text{B} {}^{\rangle}, \text{B}) |
| + | \\ |
| + | ({}^{\langle} \text{i} {}^{\rangle}, \text{B}) |
| \end{matrix}</math> | | \end{matrix}</math> |
| |} | | |} |