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