User contributions
1 April 2010
File:Peirce's Law Strong Form 2.0 Frame 1.png
no edit summary
File:Peirce's Law Strong form 2.0 Animation.gif
no edit summary
File:Equational Inference Rule Cancel (( )).png
no edit summary
File:Equational Inference Rule Quit ((q)).png
no edit summary
File:Equational Inference Rule Collect p.png
no edit summary
File:Peirce's Law Strong Form 1.0 Storyboard 4.png
no edit summary
File:Peirce's Law Strong Form 1.0 Storyboard 3.png
no edit summary
File:Peirce's Law Strong Form 1.0 Storyboard 2.png
no edit summary
File:Peirce's Law Strong Form 1.0 Storyboard 1.png
no edit summary
File:Peirce's Law Strong Form 1.0 Marquee Title.png
no edit summary
File:Peirce's Law Strong Form 1.0 Splash Page.png
no edit summary
Peirce's law
Proof 2: typo
+4
Peirce's law
Equational form: break monolithic storyboard into components + animation
+1,080
31 March 2010
Logical graph
Peirce's law
-8
Peirce's law
→ Graphical proof: JPEG → PNG + animation
+1,234
Logical graph
Peirce's law: + animation
+355
File:Peirce's Law 2.0 Frame 6.png
no edit summary
File:Peirce's Law 2.0 Frame 5.png
no edit summary
File:Peirce's Law 2.0 Frame 4.png
no edit summary
File:Peirce's Law 2.0 Frame 3.png
no edit summary
File:Peirce's Law 2.0 Frame 2.png
no edit summary
File:Peirce's Law 2.0 Frame 1.png
no edit summary
File:Peirce's Law 2.0 Animation.gif
no edit summary
Peirce's law
Document history: fix link
+20
Logical graph
Related topics: restore on-site links
-362
Peirce's law
+ [document history]
+1,080
30 March 2010
File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 9.png
no edit summary
File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 8.png
no edit summary
File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 7.png
no edit summary
File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 6.png
no edit summary
File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 5.png
no edit summary
File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 4.png
no edit summary
File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 3.png
no edit summary
File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 2.png
no edit summary
File:Two-Thirds Majority 2.0 Eq 1 Pf 1 Storyboard 1.png
no edit summary
Logical graph
Two-thirds majority function: the wrong version, of course
+36
File:Equational Inference Bar Delete a, b, c.png
no edit summary
File:Equational Inference Bar Weed ab, ac, bc.png
no edit summary
File:Equational Inference Bar Cancel (( )).png
no edit summary
File:Equational Inference Bar Quit (a), (b), (c).png
no edit summary
File:Equational Inference Bar Collect ab, ac, bc.png
no edit summary
File:Equational Inference Bar Distribute (abc).png
no edit summary
File:Equational Inference Bar Reflect ab, ac, bc.png
no edit summary
File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 9.png
no edit summary
File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 8.png
no edit summary
File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 7.png
no edit summary
File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 6.png
no edit summary
File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 5.png
no edit summary
File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 4.png
no edit summary
File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 3.png
no edit summary