Line 3,456: |
Line 3,456: |
| {| 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 3,527: |
Line 3,527: |
| <br> | | <br> |
| | | |
− | <pre> | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" |
− | Table 48.2 ER (Den A): Denotative Component of A | + | |+ style="height:30px" | |
− | Object Sign Transition
| + | <math>\text{Table 48.2} ~~ \operatorname{ER}(\operatorname{Den}(L_\text{A})) : \text{Denotative Component of} ~ L_\text{A}\!</math> |
− | A <A> <<A>, A>
| + | |- style="height:40px; background:#f0f0ff" |
− | A <i> <<i>, A>
| + | | <math>\text{Object}\!</math> |
− | B <B> <<B>, B>
| + | | <math>\text{Sign}\!</math> |
− | B <u> <<u>, B>
| + | | <math>\text{Transition}\!</math> |
− | </pre> | + | |- |
| + | | 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> |
| + | |} |
| | | |
| <br> | | <br> |
Line 3,555: |
Line 3,593: |
| {| 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 3,626: |
Line 3,664: |
| <br> | | <br> |
| | | |
− | <pre> | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" |
− | Table 49.2 ER (Den B): Denotative Component of B | + | |+ style="height:30px" | |
− | Object Sign Transition
| + | <math>\text{Table 49.2} ~~ \operatorname{ER}(\operatorname{Den}(L_\text{B})) : \text{Denotative Component of} ~ L_\text{B}\!</math> |
− | A <A> <<A>, A>
| + | |- style="height:40px; background:#f0f0ff" |
− | A <u> <<u>, A>
| + | | <math>\text{Object}\!</math> |
− | B <B> <<B>, B>
| + | | <math>\text{Sign}\!</math> |
− | B <i> <<i>, B>
| + | | <math>\text{Transition}\!</math> |
− | </pre> | + | |- |
| + | | 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> |
| + | |} |
| | | |
| <br> | | <br> |