User contributions for Bynne
A user with 46 edits. Account created on 29 November 2006.
22 June 2010
- 09:3209:32, 22 June 2010 diff hist +3,980 N Frege system ←Created page with '= Frege Systems = In propositional calculus a '''Frege system''' is an implicationally complete [[Deductive_system|ded...'
- 09:2809:28, 22 June 2010 diff hist +31 User:Bynne →Properties current
- 09:2609:26, 22 June 2010 diff hist +2 User:Bynne →Refutationally complete
- 09:2609:26, 22 June 2010 diff hist +2 User:Bynne →Implicationally complete
18 June 2010
- 08:5708:57, 18 June 2010 diff hist 0 File:Proofstrength.png uploaded a new version of "File:Proofstrength.png": Nicer edges
- 08:5608:56, 18 June 2010 diff hist +81 User:Bynne →Properties
- 08:5108:51, 18 June 2010 diff hist +691 N File:Proofstrength.png {{Information |Description = Describes the hierarchy of different proof systems, when there's an arrow A->B then there is a translation from every proof in system A to system B with at most a polynomial increase in length, a dotted arrow means we don'
13 June 2010
- 09:0109:01, 13 June 2010 diff hist +4 User:Bynne →Properties
- 09:0109:01, 13 June 2010 diff hist +68 User:Bynne →Examples
- 08:5608:56, 13 June 2010 diff hist +276 User:Bynne →Properties
- 08:4908:49, 13 June 2010 diff hist +75 User:Bynne →Examples
8 April 2009
- 12:1212:12, 8 April 2009 diff hist +56 User:Bynne →Frege Systems
- 12:0512:05, 8 April 2009 diff hist −9 User:Bynne →Properties
- 12:0412:04, 8 April 2009 diff hist +21 User:Bynne →Properties
- 11:4111:41, 8 April 2009 diff hist 0 User:Bynne →Examples
- 11:4111:41, 8 April 2009 diff hist −22 User:Bynne →Examples
- 11:3311:33, 8 April 2009 diff hist +12 User:Bynne →Examples
6 April 2009
- 09:3309:33, 6 April 2009 diff hist +6 User:Bynne →Refutationally complete
- 09:0609:06, 6 April 2009 diff hist −1 User:Bynne →References
- 09:0609:06, 6 April 2009 diff hist −1 User:Bynne →Properties
- 09:0609:06, 6 April 2009 diff hist −2 User:Bynne →Examples
- 09:0509:05, 6 April 2009 diff hist +18 User:Bynne →Frege Systems
- 09:0409:04, 6 April 2009 diff hist +22 User:Bynne →References
- 09:0209:02, 6 April 2009 diff hist +463 User:Bynne →Properties
26 January 2009
- 16:3616:36, 26 January 2009 diff hist −20 User:Bynne →\mathcal{F}-Proof
- 16:2616:26, 26 January 2009 diff hist +110 User:Bynne →Frege Systems
- 16:2216:22, 26 January 2009 diff hist +15 User:Bynne →Proof
- 16:2016:20, 26 January 2009 diff hist +18 User:Bynne →Examples
- 16:1916:19, 26 January 2009 diff hist +103 User:Bynne →Frege Systems
- 16:1716:17, 26 January 2009 diff hist −1 User:Bynne →Implicationally complete
- 16:1016:10, 26 January 2009 diff hist +227 User:Bynne →Proof
- 16:0516:05, 26 January 2009 diff hist +417 User:Bynne →Frege Systems
13 January 2009
- 13:5713:57, 13 January 2009 diff hist +227 User:Bynne →Frege Systems
12 January 2009
- 09:4209:42, 12 January 2009 diff hist +268 User:Bynne →Examples
- 09:3209:32, 12 January 2009 diff hist +21 User:Bynne →Examples
- 09:0209:02, 12 January 2009 diff hist +23 User:Bynne →Examples
- 09:0009:00, 12 January 2009 diff hist −1,721 User:Bynne →Examples
- 08:5408:54, 12 January 2009 diff hist +248 User:Bynne →Implicationally complete
8 January 2009
- 13:2013:20, 8 January 2009 diff hist −148 User:Bynne →Frege Systems
- 13:1713:17, 8 January 2009 diff hist +16 User:Bynne →Frege Systems
- 13:1513:15, 8 January 2009 diff hist +97 User:Bynne →Frege Systems
- 13:0513:05, 8 January 2009 diff hist +30 User:Bynne →Frege Systems
- 12:4512:45, 8 January 2009 diff hist +57 User:Bynne →Frege Systems
- 12:4112:41, 8 January 2009 diff hist −4 User:Bynne →Frege Systems
- 12:4012:40, 8 January 2009 diff hist +200 User:Bynne No edit summary
- 11:2811:28, 8 January 2009 diff hist +867 User:Bynne →Frege Systems
- 11:1311:13, 8 January 2009 diff hist +1,623 N User:Bynne ←Created page with '= Frege Systems = A Frege system is an implicationally complete deduction system F = (K,R). <math>A \implies B</math> A System I is implicationally complete iff fo...'
