User contributions
4 April 2010
Zeroth order logic
Document history
Zeroth order logic
Document history: fill out document history
+1,172
Zeroth order logic
+ [document history]
+23
2 April 2010
Logical graph
Related articles: re-order
Logical graph
Related articles: + 2
+289
Logical graph
Two-thirds majority function: + 4 's for alignment
+27
User:Jon Awbrey/ANIMATION
Praeclarum Theorema (Leibniz)
+288
Logical graph
Praeclarum theorem: + animation
+355
File:Praeclarum Theorema 2.0 Frame 7.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 6.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 5.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 4.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 3.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 2.png
no edit summary
File:Praeclarum Theorema 2.0 Frame 1.png
no edit summary
File:Praeclarum Theorema 2.0 Animation.gif
no edit summary
1 April 2010
File:Equational Inference Rule Quit abcd.png
no edit summary
File:Equational Inference Rule Weed bc.png
no edit summary
File:Equational Inference Rule Reflect b, c.png
no edit summary
File:Equational Inference Rule Weed a, d.png
no edit summary
File:Equational Inference Rule Reflect ad(bc).png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 7.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 6.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 5.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 4.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 3.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 2.png
no edit summary
File:Praeclarum Theorema 1.0 Storyboard 1.png
no edit summary
File:Praeclarum Theorema 1.0 Marquee Title.png
no edit summary
Logical graph
Praeclarum theorema: break up monolihtic storyboard
+1,081
File:Praeclarum Theorema 1.0 Splash Page.png
no edit summary
Logical graph
Praeclarum theorema: JPEG → PNG
+12
Logical graph
Praeclarum theorema: del redun link
-4
Logical graph
Praeclarum theorema: replace <blockquote> with table display
+37
Peirce's law
<sharethis /> + categories
+507
User:Jon Awbrey/ANIMATION
Proof Animations: + [Peirce's Law]
+560
File:Peirce's Law Strong Form 2.0 Animation.gif
no edit summary
Peirce's law
Proof 2: typo
File:Peirce's Law Strong Form 2.0 Frame 4.png
no edit summary
File:Peirce's Law Strong Form 2.0 Frame 3.png
no edit summary
File:Peirce's Law Strong Form 2.0 Frame 2.png
no edit summary
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