User contributions
24 March 2010
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
File:Praeclarum Theorema CAST 2.0 Animation.gif
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 01.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 02.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 03.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 04.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 05.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 06.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 07.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 08.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 09.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 10.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 11.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 12.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 13.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 14.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 15.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 16.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 17.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 18.png
no edit summary
21 March 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: reumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: renumber figures
+7
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Logic as sign transformation: renumber figures
User:Jon Awbrey/ANIMATION
Proof Animations
+302
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST: renumber figures
-25
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Discusssion: renumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Formal extension : Cactus calculus: renumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Majority function example: renumber figures
+92
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST: fix heading
-1
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Example
+29
20 March 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Example: + animation
+330
File:Praeclarum Theorema CAST Animation.gif
no edit summary
File:Praeclarum Theorema CAST Frame 18.png
no edit summary
File:Praeclarum Theorema CAST Frame 17.png
no edit summary
File:Praeclarum Theorema CAST Frame 16.png
no edit summary
File:Praeclarum Theorema CAST Frame 15.png
no edit summary