User contributions

Jon Awbrey

30 March 2010

29 March 2010

User contributions

Jon Awbrey

30 March 2010

Logical graph

File:Equational Inference Bar Delete a, b, c.png

File:Equational Inference Bar Weed ab, ac, bc.png

File:Equational Inference Bar Cancel (( )).png

File:Equational Inference Bar Quit (a), (b), (c).png

File:Equational Inference Bar Collect ab, ac, bc.png

File:Equational Inference Bar Distribute (abc).png

File:Equational Inference Bar Reflect ab, ac, bc.png

File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 9.png

File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 8.png

File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 7.png

File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 6.png

File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 5.png

File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 4.png

File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 3.png

File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 2.png

File:Two-Thirds Majority Eq 1 Pf 1 Storyboard 1.png

File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png

Logical graph

Logical graph

File:Peirce's Law 1.0 Marquee Title.png

Logical graph

File:Dominant Form 1.0 Marquee Title.png

Logical graph

File:Generation Theorem 1.0 Marquee Title.png

Logical graph

File:Equational Inference Marquee QED.png

File:Double Negation 1.0 Marquee Title.png

29 March 2010

File:Peirce's Law 1.0 Storyboard 6.png

File:Peirce's Law 1.0 Storyboard 5.png

File:Peirce's Law 1.0 Storyboard 4.png

File:Peirce's Law 1.0 Storyboard 3.png

File:Peirce's Law 1.0 Storyboard 2.png

File:Peirce's Law 1.0 Storyboard 1.png

Logical graph

File:Equational Inference Band QED.png

File:Equational Inference Band Delete p.png

File:Equational Inference Band Cancel (( )).png

File:Equational Inference Band Quit ((q)).png

File:Equational Inference Band Collect p.png

Logical graph

File:Equational Inference Q E D.png

File:Equational Inference Delete p.png

File:Equational Inference Quit ((q)).png

File:Equational Inference Collect p.png

File:Peirce's Law 1.0 Banner Title.png

File:Peirce's Law 1.0 Splash Page.png

Minimal negation operator

Minimal negation operator

User:Jon Awbrey/ANIMATION