User contributions
30 March 2010
File:Generation Theorem 1.0 Marquee Title.png
no edit summary
Logical graph
C<sub>1</sub>. Double negation: extra spacing : banner ---> marquee
+9
File:Equational Inference Marquee QED.png
no edit summary
File:Double Negation 1.0 Marquee Title.png
no edit summary
29 March 2010
File:Peirce's Law 1.0 Storyboard 6.png
no edit summary
File:Peirce's Law 1.0 Storyboard 5.png
no edit summary
File:Peirce's Law 1.0 Storyboard 4.png
no edit summary
File:Peirce's Law 1.0 Storyboard 3.png
no edit summary
File:Peirce's Law 1.0 Storyboard 2.png
no edit summary
File:Peirce's Law 1.0 Storyboard 1.png
no edit summary
Logical graph
Related topics: temporary edit
+300
File:Equational Inference Band QED.png
no edit summary
File:Equational Inference Band Delete p.png
no edit summary
File:Equational Inference Band Cancel (( )).png
no edit summary
File:Equational Inference Band Quit ((q)).png
no edit summary
File:Equational Inference Band Collect p.png
no edit summary
Logical graph
Peirce's law: break monolithic storyboard into components
+907
File:Equational Inference Q E D.png
no edit summary
File:Equational Inference Delete p.png
no edit summary
File:Equational Inference Quit ((q)).png
no edit summary
File:Equational Inference Collect p.png
no edit summary
File:Peirce's Law 1.0 Banner Title.png
no edit summary
File:Peirce's Law 1.0 Splash Page.png
no edit summary
Minimal negation operator
fill out [document history]
+1,269
Minimal negation operator
no edit summary
+23
User:Jon Awbrey/ANIMATION
+ [dominant form theorem]
+274
28 March 2010
Logical graph
Frequently used theorems: break up monolithic storyboard into components
+1,185
File:Double Negation 1.0 Storyboard 9.png
no edit summary
File:Double Negation 1.0 Storyboard 8.png
no edit summary
File:Double Negation 1.0 Storyboard 7.png
no edit summary
File:Double Negation 1.0 Storyboard 6.png
no edit summary
File:Double Negation 1.0 Storyboard 5.png
no edit summary
File:Double Negation 1.0 Storyboard 4.png
no edit summary
File:Double Negation 1.0 Storyboard 3.png
no edit summary
File:Double Negation 1.0 Storyboard 2.png
no edit summary
File:Double Negation 1.0 Storyboard 1.png
no edit summary
File:Equational Inference I2 Cancel (( )).png
no edit summary
File:Equational Inference J1 Delete ((a)).png
no edit summary
File:Equational Inference J1 Delete (a).png
no edit summary
File:Equational Inference J2 Distribute ((a)).png
no edit summary
File:Equational Inference J1 Insert (a).png
no edit summary
File:Double Negation 1.0 Banner Title.png
no edit summary
27 March 2010
File:Double Negation 1.0 Splash Page.png
no edit summary
Logical graph
Document history: + knol versions
+208
Logical graph
renumber figures
Logical graph
Frequently used theorems: + animation
+345
File:Dominant Form 2.0 Frame 3.png
no edit summary
File:Dominant Form 2.0 Frame 2.png
no edit summary
File:Dominant Form 2.0 Frame 1.png
no edit summary
File:Dominant Form 2.0 Animation.gif
no edit summary