Changes

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>
 
|}
 
|}
12,080

edits