User contributions
MyWikiBiz, Author Your Legacy — Saturday October 04, 2025
Jump to navigationJump to search- 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]
- 03:45, 28 March 2010 diff hist +1,185 Logical graph →Frequently used theorems: break up monolithic storyboard into components
- 03:29, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 9.png current
- 03:28, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 8.png current
- 03:27, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 7.png current
- 03:26, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 6.png current
- 03:25, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 5.png current
- 03:24, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 4.png current
- 03:14, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 3.png current
- 03:13, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 2.png current
- 03:11, 28 March 2010 diff hist 0 N File:Double Negation 1.0 Storyboard 1.png current
- 00:42, 28 March 2010 diff hist 0 N File:Equational Inference I2 Cancel (( )).png current
- 00:42, 28 March 2010 diff hist 0 N File:Equational Inference J1 Delete ((a)).png current
- 00:38, 28 March 2010 diff hist 0 N File:Equational Inference J1 Delete (a).png current
- 00:36, 28 March 2010 diff hist 0 N File:Equational Inference J2 Distribute ((a)).png current
- 00:36, 28 March 2010 diff hist 0 N File:Equational Inference J1 Insert (a).png current
).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}
).png&oldid=114581){kind=link}
).png&action=history){kind=link}
).png){kind=link}
).png&oldid=114580){kind=link}
).png&action=history){kind=link}
).png){kind=link}
.png&oldid=114579){kind=link}
.png&action=history){kind=link}
.png){kind=link}
).png&oldid=114578){kind=link}
).png&action=history){kind=link}
).png){kind=link}
.png&oldid=114577){kind=link}
.png&action=history){kind=link}
.png){kind=link}