User contributions
26 March 2010
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
User:Jon Awbrey/ANIMATION
Proof Animations: + double negation
+278
File:Double Negation 2.0 Animation.gif
no edit summary
File:Double Negation 2.0 Frame 9.png
no edit summary
File:Double Negation 2.0 Frame 8.png
no edit summary
File:Double Negation 2.0 Frame 7.png
no edit summary
File:Double Negation 2.0 Frame 6.png
no edit summary
File:Double Negation 2.0 Frame 5.png
no edit summary
File:Double Negation 2.0 Frame 4.png
no edit summary
File:Double Negation 2.0 Frame 3.png
no edit summary
File:Double Negation 2.0 Frame 2.png
no edit summary
File:Double Negation 2.0 Frame 1.png
no edit summary
23 March 2010
22 March 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST
+12
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST: introduce animation & clarify awkward phrasing
+118
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST: Image:Praeclarum Theorema CAST 2.0 Animation.gif
+4