12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 14:48, 9 December 2008
, 14:48, 9 December 2008→Option 1 : Less General
Finally, it is often convenient to write the first argument as a subscript, hence <math>\Upsilon_e \langle f \rangle = \Upsilon \langle e, f \rangle.</math>
Finally, it is often convenient to write the first argument as a subscript, hence <math>\Upsilon_e \langle f \rangle = \Upsilon \langle e, f \rangle.</math>
As a special application of this operator, we next define the absolute umpire operator, also called the "umpire measure". This is a higher order proposition <math>\Upsilon_1 : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}</math> which is given by the relation <math>\Upsilon_1 \langle f \rangle = \Upsilon \langle 1, f \rangle.</math>
====Option 2 : More General====
====Option 2 : More General====