12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions (view source)
Revision as of 03:12, 4 July 2013
, 03:12, 4 July 2013add categories
<tr>
<tr>
<td style="border-bottom:2px solid black" align="right"><math>x:</math></td>
<td style="border-bottom:2px solid black" align="right"><math>x:\!</math></td>
<td style="border-bottom:2px solid black"><math>1 ~ 0</math></td>
<td style="border-bottom:2px solid black"><math>1 ~ 0</math></td>
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>f</math></td>
<td style="border-bottom:2px solid black; border-right:2px solid black"><math>f\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{0}</math></td>
<td style="border-bottom:2px solid black"><math>m_{0}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{1}</math></td>
<td style="border-bottom:2px solid black"><math>m_{1}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{2}</math></td>
<td style="border-bottom:2px solid black"><math>m_{2}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{3}</math></td>
<td style="border-bottom:2px solid black"><math>m_{3}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{4}</math></td>
<td style="border-bottom:2px solid black"><math>m_{4}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{5}</math></td>
<td style="border-bottom:2px solid black"><math>m_{5}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{6}</math></td>
<td style="border-bottom:2px solid black"><math>m_{6}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{7}</math></td>
<td style="border-bottom:2px solid black"><math>m_{7}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{8}</math></td>
<td style="border-bottom:2px solid black"><math>m_{8}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{9}</math></td>
<td style="border-bottom:2px solid black"><math>m_{9}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{10}</math></td>
<td style="border-bottom:2px solid black"><math>m_{10}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{11}</math></td>
<td style="border-bottom:2px solid black"><math>m_{11}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{12}</math></td>
<td style="border-bottom:2px solid black"><math>m_{12}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{13}</math></td>
<td style="border-bottom:2px solid black"><math>m_{13}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{14}</math></td>
<td style="border-bottom:2px solid black"><math>m_{14}\!</math></td>
<td style="border-bottom:2px solid black"><math>m_{15}</math></td></tr>
<td style="border-bottom:2px solid black"><math>m_{15}\!</math></td></tr>
<tr>
<tr>
<td><math>f_{0}</math></td>
<td><math>f_{0}\!</math></td>
<td><math>0 ~ 0</math></td>
<td><math>0 ~ 0</math></td>
<td style="border-right:2px solid black"><math>\texttt{(~)}</math></td>
<td style="border-right:2px solid black"><math>\texttt{(~)}\!</math></td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:black; color:white">1</td>
<td style="background:black; color:white">1</td>
<tr>
<tr>
<td><math>f_{1}</math></td>
<td><math>f_{1}\!</math></td>
<td><math>0 ~ 1</math></td>
<td><math>0 ~ 1</math></td>
<td style="border-right:2px solid black"><math>\texttt{(} x \texttt{)}</math></td>
<td style="border-right:2px solid black"><math>\texttt{(} x \texttt{)}\!</math></td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<tr>
<tr>
<td><math>f_{2}</math></td>
<td><math>f_{2}\!</math></td>
<td><math>1 ~ 0</math></td>
<td><math>1 ~ 0</math></td>
<td style="border-right:2px solid black"><math>x</math></td>
<td style="border-right:2px solid black"><math>x\!</math></td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<tr>
<tr>
<td><math>f_{3}</math></td>
<td><math>f_{3}\!</math></td>
<td><math>1 ~ 1</math></td>
<td><math>1 ~ 1</math></td>
<td style="border-right:2px solid black"><math>\texttt{((~))}</math></td>
<td style="border-right:2px solid black"><math>\texttt{((~))}\!</math></td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
<td style="background:white; color:black">0</td>
{| align="center" cellpadding="10" style="text-align:center"
{| align="center" cellpadding="10" style="text-align:center"
| [[Image:Venn Diagram 4 Dimensions UV Cacti 8 Inch.png]]
| [[Image:Venn Diagram 4 Dimensions UV Cacti 8 Inch.jpg]]
|-
|-
| <math>\text{Figure 6.} ~~ \text{Higher Order Universe of Discourse} ~ [\ell_{00}, \ell_{01}, \ell_{10}, \ell_{11}] \subseteq [[u, v]]</math>
| <math>\text{Figure 6.} ~~ \text{Higher Order Universe of Discourse} ~ [\ell_{00}, \ell_{01}, \ell_{10}, \ell_{11}] \subseteq [[u, v]]</math>
| Revised: 12 Mar 2004
| Revised: 12 Mar 2004
</pre>
</pre>
[[Category:Adaptive Systems]]
[[Category:Artificial Intelligence]]
[[Category:Combinatorics]]
[[Category:Computer Science]]
[[Category:Cybernetics]]
[[Category:Differential Logic]]
[[Category:Discrete Systems]]
[[Category:Dynamical Systems]]
[[Category:Formal Languages]]
[[Category:Formal Sciences]]
[[Category:Formal Systems]]
[[Category:Functional Logic]]
[[Category:Graph Theory]]
[[Category:Group Theory]]
[[Category:Inquiry]]
[[Category:Knowledge Representation]]
[[Category:Linguistics]]
[[Category:Logic]]
[[Category:Logical Graphs]]
[[Category:Mathematics]]
[[Category:Mathematical Systems Theory]]
[[Category:Science]]
[[Category:Semiotics]]
[[Category:Philosophy]]
[[Category:Systems Science]]
[[Category:Visualization]]