User contributions
MyWikiBiz, Author Your Legacy — Friday November 21, 2025
Jump to navigationJump to search- 19:14, 30 March 2010 diff hist +36 Logical graph →Two-thirds majority function: the wrong version, of course
- 17:32, 30 March 2010 diff hist 0 N File:Equational Inference Bar Delete a, b, c.png current
- 17:30, 30 March 2010 diff hist 0 N File:Equational Inference Bar Weed ab, ac, bc.png current
- 17:28, 30 March 2010 diff hist 0 N File:Equational Inference Bar Cancel (( )).png current
- 17:26, 30 March 2010 diff hist 0 N File:Equational Inference Bar Quit (a), (b), (c).png current
- 17:24, 30 March 2010 diff hist 0 N File:Equational Inference Bar Collect ab, ac, bc.png current
- 17:22, 30 March 2010 diff hist 0 N File:Equational Inference Bar Distribute (abc).png current
- 17:20, 30 March 2010 diff hist 0 N File:Equational Inference Bar Reflect ab, ac, bc.png current
- 17:09, 30 March 2010 diff hist 0 N File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 9.png current
- 17:08, 30 March 2010 diff hist 0 N File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 8.png current
- 17:07, 30 March 2010 diff hist 0 N File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 7.png current
- 17:06, 30 March 2010 diff hist 0 N File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 6.png current
- 17:05, 30 March 2010 diff hist 0 N File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 5.png current
- 17:04, 30 March 2010 diff hist 0 N File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 4.png current
- 17:04, 30 March 2010 diff hist 0 N File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 3.png current
- 17:03, 30 March 2010 diff hist 0 N File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 2.png current
- 17:02, 30 March 2010 diff hist 0 N File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 1.png current
- 17:01, 30 March 2010 diff hist 0 N File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png current
- 17:00, 30 March 2010 diff hist +15 Logical graph →Two-thirds majority function: revise storyboard
- 05:12, 30 March 2010 diff hist -28 Logical graph →Peirce's law: extra spacing : banner ---> marquee
- 05:06, 30 March 2010 diff hist 0 N File:Peirce's Law 1.0 Marquee Title.png current
- 04:38, 30 March 2010 diff hist +2 Logical graph →C<sub>3</sub>. Dominant form theorem: extra spacing : banner ---> marquee
- 04:32, 30 March 2010 diff hist 0 N File:Dominant Form 1.0 Marquee Title.png current
- 04:20, 30 March 2010 diff hist +2 Logical graph →C<sub>2</sub>. Generation theorem: extra spacing : banner ---> marquee
- 04:18, 30 March 2010 diff hist 0 N File:Generation Theorem 1.0 Marquee Title.png current
- 04:10, 30 March 2010 diff hist +9 Logical graph →C<sub>1</sub>. Double negation: extra spacing : banner ---> marquee
- 03:36, 30 March 2010 diff hist 0 N File:Equational Inference Marquee QED.png current
- 03:36, 30 March 2010 diff hist 0 N File:Double Negation 1.0 Marquee Title.png current
- 21:06, 29 March 2010 diff hist 0 N File:Peirce's Law 1.0 Storyboard 6.png current
- 21:05, 29 March 2010 diff hist 0 N File:Peirce's Law 1.0 Storyboard 5.png current
- 21:04, 29 March 2010 diff hist 0 N File:Peirce's Law 1.0 Storyboard 4.png current
- 21:03, 29 March 2010 diff hist 0 N File:Peirce's Law 1.0 Storyboard 3.png current
- 21:02, 29 March 2010 diff hist 0 N File:Peirce's Law 1.0 Storyboard 2.png current
- 21:01, 29 March 2010 diff hist 0 N File:Peirce's Law 1.0 Storyboard 1.png current
- 20:58, 29 March 2010 diff hist +300 Logical graph →Related topics: temporary edit
- 20:52, 29 March 2010 diff hist 0 N File:Equational Inference Band QED.png current
- 20:50, 29 March 2010 diff hist 0 N File:Equational Inference Band Delete p.png current
- 20:48, 29 March 2010 diff hist 0 N File:Equational Inference Band Cancel (( )).png current
- 20:46, 29 March 2010 diff hist 0 N File:Equational Inference Band Quit ((q)).png current
- 20:44, 29 March 2010 diff hist 0 N File:Equational Inference Band Collect p.png current
- 20:42, 29 March 2010 diff hist +907 Logical graph →Peirce's law: break monolithic storyboard into components
- 19:40, 29 March 2010 diff hist 0 N File:Equational Inference Q E D.png current
- 19:38, 29 March 2010 diff hist 0 N File:Equational Inference Delete p.png current
- 19:36, 29 March 2010 diff hist 0 N File:Equational Inference Quit ((q)).png current
- 19:34, 29 March 2010 diff hist 0 N File:Equational Inference Collect p.png current
- 19:32, 29 March 2010 diff hist 0 N File:Peirce's Law 1.0 Banner Title.png current
- 19:30, 29 March 2010 diff hist 0 N File:Peirce's Law 1.0 Splash Page.png current
- 13:10, 29 March 2010 diff hist +1,269 Minimal negation operator fill out [document history]
- 12:36, 29 March 2010 diff hist +23 Minimal negation operator
- 02:00, 29 March 2010 diff hist +274 User:Jon Awbrey/ANIMATION + [dominant form theorem]
).png&oldid=114812){kind=link}
).png&action=history){kind=link}
).png){kind=link}
,_(b),_(c).png&oldid=114811){kind=link}
,_(b),_(c).png&action=history){kind=link}
,_(b),_(c).png){kind=link}
.png&oldid=114808){kind=link}
.png&action=history){kind=link}
.png){kind=link}
).png&oldid=114685){kind=link}
).png&action=history){kind=link}
).png){kind=link}
).png&oldid=114684){kind=link}
).png&action=history){kind=link}
).png){kind=link}
).png&oldid=114679){kind=link}
).png&action=history){kind=link}
).png){kind=link}
