User contributions
24 November 2009
File:Rote 3.png
no edit summary
User:Jon Awbrey/TEST
cleanup
-28,296
User:Jon Awbrey/TABLE
Higher Order Propositions: add new table set
+73,828
User:Jon Awbrey/TABLE
HTML + LaTeX
+12
23 November 2009
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
Application of Higher Order Propositions to Quantification Theory: restyle tables
+578
User:Jon Awbrey/TEST
Wet Paint: format 2 line entries as matrices
+60
User:Jon Awbrey/TEST
Wet Paint: change <br>oken table entries to LaTeX matrices
+62
User:Jon Awbrey/TEST
Wet Paint: lining outside the colors
+456
User:Jon Awbrey/TEST
paint test in progress ...
-43
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
sub [ smallmatrix / matrix ] in column heads
+160
User:Jon Awbrey/TEST
sub [ smallmatrix / matrix ] in column heads
+160
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
add last piece
+27,628
User:Jon Awbrey/TEST
fix fonts
+272
User:Jon Awbrey/TEST
restyle tables
+354
22 November 2009
User:Jon Awbrey/TEST
Application of Higher Order Propositions to Quantification Theory: cleanup
-1,973
User:Jon Awbrey/TEST
Application of Higher Order Propositions to Quantification Theory: convert markups
-204
User:Jon Awbrey/TEST
Application of Higher Order Propositions to Quantification Theory: cleanup
-1,318
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
add content
+1,961
User:Jon Awbrey/TEST
Application of Higher Order Propositions to Quantification Theory
-79
User:Jon Awbrey/TEST
Application of Higher Order Propositions to Quantification Theory
+32
User:Jon Awbrey/TEST
Application of Higher Order Propositions to Quantification Theory: markup
+863
User:Jon Awbrey/TEST
cleanup
-2,586
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
Measure for Measure: remove unnecessary parentheses
+6
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
add a bit more
+2,586
User:Jon Awbrey/TEST
Extending the Existential Interpretation to Quantificational Logic: simplify square brackets
-38
User:Jon Awbrey/TEST
Extending the Existential Interpretation to Quantificational Logic: markup
-75
User:Jon Awbrey/TEST
Extending the Existential Interpretation to Quantificational Logic: markup
-91
User:Jon Awbrey/TEST
cleanup
-5,051
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
add another piece
+5,051
User:Jon Awbrey/TEST
try next piece
-30,652
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
Measure for Measure: fix table heading & spacing
-2
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
add a bit more
+906
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
Measure for Measure: fix truth table labels + cleanup
+11
Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
try again
User:Jon Awbrey/TEST
Measure for Measure: test section edit
-70
User:Jon Awbrey/TEST
add a bit
+380
User:Jon Awbrey/TEST
test
Boolean function
no edit summary
20 November 2009
Directory talk:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
move <work area> to talk page
Boolean functions
#REDIRECT boolean function
19 November 2009
Continuous predicate
cleanup
-11
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Higher Order Propositions and Logical Operators (''n'' = 2): reformat table
+461
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Table 11 → {| align="center" border="1" cellpadding="4" cellspacing="0" style="font-weight:bold; text-align:center; width:90%"
+4
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Table 10 → {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:90%"
18 November 2009
User:Jon Awbrey/TABLE
Higher Order Propositions: + 2nd variant
+6,079
User:Jon Awbrey/TABLE
Higher Order Propositions: add section
+2,441
17 November 2009
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Measure for Measure: {matrix} ---> {array}{rclrrrrr}
+8
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Measure for Measure: refprmat display
-360
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Measure for Measure: fix typo
-1
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Measure for Measure: \texttt typeface for logical ops
+295