Changes

Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)

1 byte added , 17:55, 17 November 2008

renumber tables

Line 248: Line 248:

===Measure for Measure===

−

An acquaintance with the functions of the umpire operator can be gained from Tables 10 and 11, where the 2-dimensional case is worked out in full.

+

An acquaintance with the functions of the umpire operator can be gained from Tables 4 and 5, where the 2-dimensional case is worked out in full.

The auxiliary notations:

Line 263: Line 263:

{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:90%"

−

|+ '''Table 10. Qualifiers of Implication Ordering: α''i'' ''f'' = Υ(''f''''i'' ⇒ ''f'')'''

+

|+ '''Table 4. Qualifiers of Implication Ordering: α''i'' ''f'' = Υ(''f''''i'' ⇒ ''f'')'''

|- style="background:paleturquoise"

| align=right | ''x'' : || 1100 || ''f''

Line 339: Line 339:

{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:90%"

−

|+ '''Table 11. Qualifiers of Implication Ordering: β''i'' ''f'' = Υ(''f'' ⇒ ''f''''i'')'''

+

|+ '''Table 5. Qualifiers of Implication Ordering: β''i'' ''f'' = Υ(''f'' ⇒ ''f''''i'')'''

|- style="background:paleturquoise"

| align=right | ''x'' : || 1100 || ''f''

12,141

edits