User contributions
14 December 2008
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Application of Higher Order Propositions to Quantification Theory: text-align:center;
+19
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Umpire Operators: reset formula displays
+279
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 2 : More General: reset formula displays
-40
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Umpire Operators: center formula displays
+128
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Umpire Operators: style="text-align:center"
+104
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Umpire Operators: reset formula display
+87
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Higher Order Propositions and Logical Operators (''n'' = 2): table #
+2
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Higher Order Propositions and Logical Operators (''n'' = 2): update
+424
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositions and Logical Operators (''n'' = 2): reset formula display
+68
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositions and Logical Operators (''n'' = 2)
+358
User talk:Giano
all along the watch tower ... by the way, has anybody seen my old friend, saint augustine?
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Measure for Measure: sub [parens/angles]
-112
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Option 1 : Less General: update
+426
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Higher Order Propositions and Logical Operators (''n'' = 2): update
+353
User:Jon Awbrey/TABLE
Table 14: sub [parens/angles]
-28
User:Jon Awbrey/TABLE
Table 13: sub [parens/angles]
-28
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Measure for Measure: back to parens for functions
-112
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General: back to e & f
+3
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General: type X as \langle u, v \rangle
+299
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General: explicit typing X_{\mathbb{B}^2}
+36
Talk:Logical graph
Tables: back to ordinary parentheses for function notation
-112
Talk:Logical graph
Functional Quantifiers: sub concrete domain X for abstract domain B^2 to prevent possible confusion
-72
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General: the misereres of mixed-mode markup
+37
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General: \operatorname{if~and~only~if}
-1
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General: reset formula displays
+52
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositions and Logical Operators (''n'' = 2): spaced out equations
+132
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositions and Logical Operators (''n'' = 2): center displays
+136
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositions and Logical Operators (''n'' = 2): used bold code font for cactus language
+85
User:Jon Awbrey/SCRATCHPAD
Cactus TeX
+1,030
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Measure for Measure: reset formula display
-3
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Measure for Measure: explain tables, reset formula display
+995
13 December 2008
User:Jon Awbrey/TABLE
update
+866
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
more table setting
+32,011
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
change of notation : [u, v] → [i, j] & [x, y] → [u, v]
Talk:Logical graph
Table 5: typo
Talk:Logical graph
Table 2: typo
User:Jon Awbrey/TABLE
Table 17: typo
User:Jon Awbrey/TABLE
Table 14: typo
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
change of notation : [u, v] → [i, j] & [x, y] → [u, v]
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
redo table
+1,278
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositional Expressions: redo table
+1,278
User:Jon Awbrey/TABLE
Inquiry and Analogy: redo table
+2,378
User:Jon Awbrey/TABLE
Inquiry and Analogy: copy old tables
+3,062
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositions and Logical Operators (''n'' = 2): redo table in fractal checkerboard style
+877
User:Jon Awbrey/TABLE
Table 12: pieces of eight, pieces of eight ...
-11
User:Jon Awbrey/TABLE
Table 12: reorg table
+55
User:Jon Awbrey/TABLE
try that again
+732
User:Jon Awbrey/TABLE
redo tables
+5,535
User:Jon Awbrey/TABLE
Functional Quantifiers: use table numbering from inquiry & analogy paper
+66
User:Jon Awbrey/TABLE
Table 1: copy old table
+4,699