Page history
13 December 2010
30 September 2010
19 November 2009
→Higher Order Propositions and Logical Operators (''n'' = 2): reformat table
+461
Table 11 → {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:90%"
+4
Table 10 → {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:90%"
17 November 2009
→Measure for Measure: {matrix} ---> {array}{rclrrrrr}
+8
→Measure for Measure: refprmat display
-360
→Measure for Measure: fix typo
-1
→Measure for Measure: \texttt typeface for logical ops
+295
→Measure for Measure: \texttt typeface for logical ops
+296
16 November 2009
→Umpire Operators: sub [ <math>\iff</math> / <math>\Leftrightarrow</math> ] + cleanup
+69
→Umpire Operators: use \texttt typeface for logical ops
+17
→Umpire Operators: use \texttt typeface for logical ops + clarify a bit
+91
30 October 2009
→Higher Order Propositions and Logical Operators (''n'' = 2): use \texttt typeface for logical ops
+114
→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