User contributions
30 March 2010
File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 2.png
no edit summary
File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 1.png
no edit summary
File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png
no edit summary
Logical graph
Two-thirds majority function: revise storyboard
+15
Logical graph
Peirce's law: extra spacing : banner ---> marquee
-28
File:Peirce's Law 1.0 Marquee Title.png
no edit summary
Logical graph
C<sub>3</sub>. Dominant form theorem: extra spacing : banner ---> marquee
+2
File:Dominant Form 1.0 Marquee Title.png
no edit summary
Logical graph
C<sub>2</sub>. Generation theorem: extra spacing : banner ---> marquee
+2
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