12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday April 12, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions (view source)
Revision as of 03:12, 4 July 2013
, 03:12, 4 July 2013add categories
Line 27:
Line 27:
<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>
Line 69:
Line 69:
<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>
Line 90:
Line 90:
<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>
Line 111:
Line 111:
<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>
Line 1,567:
Line 1,567:
{| 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>
Line 2,375:
Line 2,375:
| 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]]
