User contributions
26 March 2010
File:Equational Inference Delete a, b, c.png
no edit summary
File:Equational Inference Weed ab, ac, bc.png
no edit summary
File:Equational Inference Cancel (( )).png
no edit summary
File:Equational Inference Quit (a), (b), (c).png
no edit summary
File:Equational Inference Collect ab, ac, bc.png
no edit summary
File:Equational Inference Distribute (abc).png
no edit summary
File:Equational Inference Reflect ab, ac, bc.png
no edit summary
File:Majority Function Example Proof 1 Title.png
no edit summary
Logical graph
update with majority function example & animations
+3,227
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C<sub>1</sub>. Double negation: trim head
-8
User:Jon Awbrey/ANIMATION
Proof Animations: + Image:Generation Theorem 2.0 Animation.gif
+268
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Frequently used theorems: + Image:Generation Theorem 2.0 Animation.gif
+361
File:Generation Theorem 2.0 Frame 6.png
no edit summary
File:Generation Theorem 2.0 Frame 5.png
no edit summary
File:Generation Theorem 2.0 Frame 4.png
no edit summary
File:Generation Theorem 2.0 Frame 3.png
no edit summary
File:Generation Theorem 2.0 Frame 2.png
no edit summary
File:Generation Theorem 2.0 Frame 1.png
no edit summary
File:Generation Theorem 2.0 Animation.gif
no edit summary
25 March 2010
Logical graph
update
+126
Ampheck
update
+55
Logical graph
fill out [document history]
+163
Ampheck
update
+235
Ampheck
+ document history
+663
Ampheck
cleanup
-11
Logical graph
Document history: + 1
+116
Logical graph
update
+888
User:Jon Awbrey/ANIMATION
no edit summary
+540
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST: animation resized to 500 x 389 px
+6
File:Praeclarum Theorema CAST 500 x 389 Animation.gif
no edit summary
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Two-thirds majority function: resize animation to 500 x 250 px
+9
File:Two-Thirds Majority Function 500 x 250 Animation.gif
no edit summary
24 March 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: use arabic numbering of figures & tables, but sequential within sections
-9
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
back to arabic numbering of figures & tables, but sequential with sections
-243
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Axioms: renumb figs
-23
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
revert -- go back to arabic numbering, but sequential within section
+12
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: renumber tables
-12
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: renumb figs
+77
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Logic as sign transformation: renumb figs
+5
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Case analysis-synthesis theorem: renumb figs
+45
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Formal extension : Cactus calculus: renumb figs
+9
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Exemplary proofs: renumb figs
+82
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Frequently used theorems: renumb figs
-3
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Axioms: try a less distracting figure numbering scheme
+7
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C<sub>3</sub>. Dominant form theorem: renumb figs
+10
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C<sub>2</sub>. Generation theorem: renumber figures
+12
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C<sub>1</sub>. Double negation theorem: renumber figures
+24
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Axioms: try a more robust figure numbering scheme
+16
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
C<sub>1</sub>. Double negation theorem: + animation
+358
User:Jon Awbrey/ANIMATION
re-organize
-15