12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday April 04, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 15:16, 14 December 2008
, 15:16, 14 December 2008→Measure for Measure: back to parens for functions
Line 566:
Line 566:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−| <math>\alpha_i f = \Upsilon \langle f_i, f \rangle = \Upsilon \langle f_i \Rightarrow f \rangle,</math>
+| <math>\alpha_i f = \Upsilon (f_i, f) = \Upsilon (f_i \Rightarrow f),</math>
|-
|-
−| <math>\beta_i f = \Upsilon \langle f, f_i \rangle = \Upsilon \langle f \Rightarrow f_i \rangle.</math>
+| <math>\beta_i f = \Upsilon (f, f_i) = \Upsilon (f \Rightarrow f_i).</math>
|}
|}
Line 574:
Line 574:
{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
−|+ '''Table 4. Qualifiers of Implication Ordering: <math>\alpha_i f = \Upsilon \langle f_i, f \rangle = \Upsilon \langle f_i \Rightarrow f \rangle</math>'''
+|+ '''Table 4. Qualifiers of Implication Ordering: <math>\alpha_i f = \Upsilon (f_i, f) = \Upsilon (f_i \Rightarrow f)</math>'''
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| align="right" | <math>u:</math><br><math>v:</math>
| align="right" | <math>u:</math><br><math>v:</math>
Line 920:
Line 920:
{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"
−|+ '''Table 5. Qualifiers of Implication Ordering: <math>\beta_i f = \Upsilon \langle f, f_i \rangle = \Upsilon \langle f \Rightarrow f_i \rangle</math>'''
+|+ '''Table 5. Qualifiers of Implication Ordering: <math>\beta_i f = \Upsilon (f, f_i) = \Upsilon (f \Rightarrow f_i)</math>'''
|- style="background:ghostwhite"
|- style="background:ghostwhite"
| align="right" | <math>u:</math><br><math>v:</math>
| align="right" | <math>u:</math><br><math>v:</math>
