User contributions
MyWikiBiz, Author Your Legacy — Friday November 21, 2025
Jump to navigationJump to search- 05:50, 26 March 2010 diff hist 0 N File:Equational Inference Delete a, b, c.png current
- 05:48, 26 March 2010 diff hist 0 N File:Equational Inference Weed ab, ac, bc.png current
- 05:48, 26 March 2010 diff hist 0 N File:Equational Inference Cancel (( )).png current
- 05:46, 26 March 2010 diff hist 0 N File:Equational Inference Quit (a), (b), (c).png current
- 05:45, 26 March 2010 diff hist 0 N File:Equational Inference Collect ab, ac, bc.png current
- 05:45, 26 March 2010 diff hist 0 N File:Equational Inference Distribute (abc).png current
- 05:44, 26 March 2010 diff hist 0 N File:Equational Inference Reflect ab, ac, bc.png current
- 05:44, 26 March 2010 diff hist 0 N File:Majority Function Example Proof 1 Title.png current
- 05:34, 26 March 2010 diff hist +3,227 Logical graph update with majority function example & animations
- 03:32, 26 March 2010 diff hist -8 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →C<sub>1</sub>. Double negation: trim head
- 02:27, 26 March 2010 diff hist +268 User:Jon Awbrey/ANIMATION →Proof Animations: + Image:Generation Theorem 2.0 Animation.gif
- 02:19, 26 March 2010 diff hist +361 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Frequently used theorems: + Image:Generation Theorem 2.0 Animation.gif
- 00:06, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 6.png current
- 00:05, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 5.png current
- 00:04, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 4.png current
- 00:03, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 3.png current
- 00:02, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 2.png current
- 00:01, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 1.png current
- 00:00, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Animation.gif current
- 18:10, 25 March 2010 diff hist +126 Logical graph update
- 18:08, 25 March 2010 diff hist +55 Ampheck update
- 16:44, 25 March 2010 diff hist +163 Logical graph fill out [document history]
- 16:26, 25 March 2010 diff hist +235 Ampheck update
- 15:56, 25 March 2010 diff hist +663 Ampheck + document history
- 15:48, 25 March 2010 diff hist -11 Ampheck cleanup
- 13:56, 25 March 2010 diff hist +116 Logical graph →Document history: + 1
- 13:52, 25 March 2010 diff hist +888 Logical graph update
- 03:32, 25 March 2010 diff hist +540 User:Jon Awbrey/ANIMATION
- 03:00, 25 March 2010 diff hist +6 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Praeclarum theorema : Proof by CAST: animation resized to 500 x 389 px
- 02:56, 25 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 500 x 389 Animation.gif current
- 02:44, 25 March 2010 diff hist +9 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Two-thirds majority function: resize animation to 500 x 250 px
- 02:40, 25 March 2010 diff hist 0 N File:Two-Thirds Majority Function 500 x 250 Animation.gif current
- 21:50, 24 March 2010 diff hist -9 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Variations on a theme of transitivity: use arabic numbering of figures & tables, but sequential within sections
- 21:20, 24 March 2010 diff hist -243 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems back to arabic numbering of figures & tables, but sequential with sections
- 21:04, 24 March 2010 diff hist -23 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Axioms: renumb figs
- 20:56, 24 March 2010 diff hist +12 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems revert -- go back to arabic numbering, but sequential within section
- 20:44, 24 March 2010 diff hist -12 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Variations on a theme of transitivity: renumber tables
- 20:18, 24 March 2010 diff hist +77 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: renumb figs
- 20:06, 24 March 2010 diff hist +5 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Logic as sign transformation: renumb figs
- 20:00, 24 March 2010 diff hist +45 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Case analysis-synthesis theorem: renumb figs
- 19:45, 24 March 2010 diff hist +9 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Formal extension : Cactus calculus: renumb figs
- 19:40, 24 March 2010 diff hist +82 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Exemplary proofs: renumb figs
- 19:25, 24 March 2010 diff hist -3 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Frequently used theorems: renumb figs
- 19:22, 24 March 2010 diff hist +7 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Axioms: try a less distracting figure numbering scheme
- 19:18, 24 March 2010 diff hist +10 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →C<sub>3</sub>. Dominant form theorem: renumb figs
- 19:15, 24 March 2010 diff hist +12 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →C<sub>2</sub>. Generation theorem: renumber figures
- 19:14, 24 March 2010 diff hist +24 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →C<sub>1</sub>. Double negation theorem: renumber figures
- 19:08, 24 March 2010 diff hist +16 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Axioms: try a more robust figure numbering scheme
- 19:03, 24 March 2010 diff hist +358 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →C<sub>1</sub>. Double negation theorem: + animation
- 18:42, 24 March 2010 diff hist -15 User:Jon Awbrey/ANIMATION re-organize
).png&oldid=114456){kind=link}
).png&action=history){kind=link}
).png){kind=link}
,_(b),_(c).png&oldid=114455){kind=link}
,_(b),_(c).png&action=history){kind=link}
,_(b),_(c).png){kind=link}
.png&oldid=114453){kind=link}
.png&action=history){kind=link}
.png){kind=link}
