Changes

MyWikiBiz, Author Your Legacy — Sunday April 28, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions (view source)

Revision as of 03:20, 23 November 2009

160 bytes added ,  03:20, 23 November 2009
sub [ smallmatrix / matrix ] in column heads
Line 1,626: Line 1,626:  
<math>f</math></td>
 
<math>f</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{11} \texttt{)}
 
\texttt{(} \ell_{11} \texttt{)}
 
\\
 
\\
Line 1,632: Line 1,632:  
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{10} \texttt{)}
 
\texttt{(} \ell_{10} \texttt{)}
 
\\
 
\\
Line 1,640: Line 1,640:  
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{01} \texttt{)}
 
\texttt{(} \ell_{01} \texttt{)}
 
\\
 
\\
Line 1,648: Line 1,648:  
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{00} \texttt{)}
 
\texttt{(} \ell_{00} \texttt{)}
 
\\
 
\\
Line 1,656: Line 1,656:  
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{00}
 
\ell_{00}
 
\\
 
\\
Line 1,664: Line 1,664:  
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{01}
 
\ell_{01}
 
\\
 
\\
Line 1,672: Line 1,672:  
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{10}
 
\ell_{10}
 
\\
 
\\
Line 1,680: Line 1,680:  
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{11}
 
\ell_{11}
 
\\
 
\\
Line 1,688: Line 1,688:  
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
−
\end{matrix}</math></td></tr>
+
\end{smallmatrix}</math></td></tr>
    
<tr>
 
<tr>
Line 1,914: Line 1,914:  
<math>f</math></td>
 
<math>f</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{11} \texttt{)}
 
\texttt{(} \ell_{11} \texttt{)}
 
\\
 
\\
Line 1,920: Line 1,920:  
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{10} \texttt{)}
 
\texttt{(} \ell_{10} \texttt{)}
 
\\
 
\\
Line 1,928: Line 1,928:  
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{01} \texttt{)}
 
\texttt{(} \ell_{01} \texttt{)}
 
\\
 
\\
Line 1,936: Line 1,936:  
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\texttt{(} \ell_{00} \texttt{)}
 
\texttt{(} \ell_{00} \texttt{)}
 
\\
 
\\
Line 1,944: Line 1,944:  
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{00}
 
\ell_{00}
 
\\
 
\\
Line 1,952: Line 1,952:  
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{01}
 
\ell_{01}
 
\\
 
\\
Line 1,960: Line 1,960:  
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{10}
 
\ell_{10}
 
\\
 
\\
Line 1,968: Line 1,968:  
\\
 
\\
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
 
\mathrm{is} ~ \texttt{(} v \texttt{)}
−
\end{matrix}</math></td>
+
\end{smallmatrix}</math></td>
 
<td width="10%" style="border-bottom:1px solid black">
 
<td width="10%" style="border-bottom:1px solid black">
−
<math>\begin{matrix}
+
<math>\begin{smallmatrix}
 
\ell_{11}
 
\ell_{11}
 
\\
 
\\
Line 1,976: Line 1,976:  
\\
 
\\
 
\mathrm{is} ~ v
 
\mathrm{is} ~ v
−
\end{matrix}</math></td></tr>
+
\end{smallmatrix}</math></td></tr>
    
<tr>
 
<tr>
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/99157"

Navigation menu