Page history
30 October 2009
→Higher Order Propositions and Logical Operators (''n'' = 2): use \texttt typeface for logical ops
-313
→Higher Order Propositions and Logical Operators (''n'' = 1): \texttt typeface for logical ops
+18
→Abstract
-10
→Abstract: + note on notation
+627
25 October 2009
16 December 2008
15 December 2008
del note
-663
→New Kind Of Science Forum: + thread anchor
+43
+ [New Kind Of Science Forum]
+591
move generalized umpire operators to appendix for now
-21
→Application of Higher Order Propositions to Quantification Theory: text-align:center
+19
14 December 2008
→Umpire Operators: reset formula displays
+279
→Higher Order Propositions and Logical Operators (''n'' = 2): table #
+2
→Higher Order Propositions and Logical Operators (''n'' = 2): update
+424
→Measure for Measure: sub [parens/angles]
-112
→Option 1 : Less General: update
+426
→Higher Order Propositions and Logical Operators (''n'' = 2): update
+353
→Measure for Measure: explain tables, reset formula display
+995
13 December 2008
10 December 2008
26 November 2008
23 November 2008
17 November 2008
16 November 2008
wikify
+376
→Abstract: wikify
+9
→2. Functional Conception of Quantification Theory: wikify
+19
<div class="nonumtoc">__TOC__</div>
+28
→FL. Note 1: wikify
+43
re-org
-126
→Ontology List: + thread anchor
+67
→Inquiry List — March 2004: + thread anchor
+66
→Document History: wikify
-35
segment
-747
Import Raw Text (IRT)
+39,507
{{DISPLAYTITLE:Functional Logic : Inquiry and Analogy}}
+55