Cut-elimination theorem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 14:4414:44, 2 October 2024 157.193.240.213 talk 8,079 bytes +32 No edit summary undo

curprev 20:0820:08, 2 October 2023 BalinKingOfMoria talk contribs 8,047 bytes +39 →Consequences of the theorem: Make interwiki link more specific undo Tag: Visual edit

curprev 22:1222:12, 3 May 2023 89.1.210.233 talk 8,008 bytes +250 →References: edited the web links undo Tag: Visual edit

curprev 08:0908:09, 26 June 2021 Pbsouthwood talk contribs 7,758 bytes +46 Adding local short description: "Theorem in formal logic", overriding Wikidata description "theorem" (Shortdesc helper) undo

curprev 17:1617:16, 29 January 2021 Monkbot talk contribs m 7,712 bytes −15 Task 18 (cosmetic): eval 6 templates: hyphenate params (3×); del |ref=harv (2×); undo Tag: AWB

curprev 14:0014:00, 16 December 2020 Bbbaat talk contribs 7,727 bytes +28 →References undo
curprev 13:4413:44, 16 December 2020 Bbbaat talk contribs m 7,699 bytes +212 Missing reference added. undo

curprev 18:1518:15, 14 August 2020 Matithyahu talk contribs m 7,487 bytes +19 →The cut rule: introduction of abbreviation undo Tag: Visual edit

curprev 03:1103:11, 13 October 2019 GreenC bot talk contribs 7,468 bytes −35 Rescued 1 archive link; reformat 1 link. Wayback Medic 2.5 undo

curprev 02:3602:36, 13 July 2019 InternetArchiveBot talk contribs 7,503 bytes +115 Rescuing 1 sources and tagging 1 as dead. #IABot (v2.0beta15) undo

curprev 19:5819:58, 15 December 2018 67.198.37.16 talk 7,388 bytes +48 →Consequences of the theorem: wikilink Normalization property (abstract rewriting) undo

curprev 22:5522:55, 25 December 2017 73.113.162.51 talk 7,340 bytes 0 No edit summary undo

curprev 04:0204:02, 22 November 2017 Siddharthist talk contribs m 7,340 bytes +123 →External links: Add external link to Springer EOM undo Tag: 2017 wikitext editor

curprev 02:0202:02, 8 February 2017 24.85.232.10 talk 7,217 bytes −1 No edit summary undo
curprev 02:0102:01, 8 February 2017 24.85.232.10 talk 7,218 bytes −4 No edit summary undo

curprev 09:2409:24, 12 September 2016 Alexey Muranov talk contribs 7,222 bytes +24 →See also: IMO, deduction theorem is in some sense "converse" do cut-elimination theorem. undo

curprev 14:1014:10, 1 September 2016 Chalst talk contribs 7,198 bytes +21 →The cut rule: new section for cut elimination undo
curprev 14:0914:09, 1 September 2016 Chalst talk contribs 7,177 bytes +50 Sectionify undo

curprev 04:2804:28, 25 August 2016 Paradoctor talk contribs m 7,127 bytes +28 →top: wikilinks for LJ and LK undo

curprev 09:4109:41, 11 June 2014 Alan U. Kennington talk contribs 7,099 bytes +666 Added a couple of references which present proofs of the cut-elimination theorem. undo

curprev 22:4722:47, 7 February 2014 Johnadam789 talk contribs m 6,433 bytes 0 trivial rewording to make sense clearer undo

curprev 03:3403:34, 7 September 2013 L0mars01 talk contribs m 6,433 bytes +200 markup undo

curprev 15:4015:40, 13 June 2013 177.20.130.9 talk 6,233 bytes +1 typo: finite number of step -> finite number of steps undo

curprev 15:0415:04, 7 March 2013 Addbot talk contribs m 6,232 bytes −80 Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q376166 undo

curprev 23:0823:08, 3 December 2012 Janburse talk contribs 6,312 bytes +4 No edit summary undo
curprev 23:0723:07, 3 December 2012 Janburse talk contribs 6,308 bytes +227 A, B, C, etc.. replaced by A_1, A_2, A_3 etc.. and ldots correctly set everywhere, full Cut rule given, besides spezialization to single formula RHS undo
curprev 23:0023:00, 3 December 2012 Janburse talk contribs 6,081 bytes +82 No edit summary undo

curprev 13:3313:33, 5 April 2012 81.131.1.29 talk 5,999 bytes +6 →References undo
curprev 13:2913:29, 5 April 2012 81.131.1.29 talk 5,993 bytes +138 →References undo
curprev 13:2513:25, 5 April 2012 81.131.1.29 talk 5,855 bytes +238 →References undo

curprev 22:3922:39, 18 October 2011 RDBury talk contribs 5,617 bytes +21 More specific cat. undo
curprev 17:0617:06, 18 October 2011 128.232.100.243 talk 5,596 bytes −31 minor change about the CH correspondant undo

curprev 19:2719:27, 14 June 2011 Citation bot 1 talk contribs m 5,627 bytes +2 [Pu354]+: year. Formatted dashes. undo

curprev 13:1813:18, 9 June 2011 Omnipaedista talk contribs 5,625 bytes +19 No edit summary undo

curprev 21:0521:05, 18 April 2011 Tijfo098 talk contribs 5,606 bytes +33 in this sense undo

curprev 15:5115:51, 13 January 2011 BertSeghers talk contribs m 5,573 bytes −162 →References undo
curprev 15:4815:48, 13 January 2011 BertSeghers talk contribs m 5,735 bytes +143 Citation added undo
curprev 15:0815:08, 13 January 2011 BertSeghers talk contribs m 5,592 bytes +175 →References: Added reference: course about this subject undo

curprev 17:1017:10, 3 January 2011 75.15.121.94 talk 5,417 bytes +4 "contradiction", like "tautology", is now linked undo

curprev 17:5517:55, 27 September 2010 Michael Hardy talk contribs m 5,413 bytes +6 No edit summary undo

curprev 11:0911:09, 10 September 2010 129.177.190.109 talk 5,407 bytes 0 moved (''Hauptsatz'') undo

curprev 23:3923:39, 10 December 2009 Sligocki talk contribs 5,407 bytes +38 No edit summary undo

curprev 02:2602:26, 4 December 2009 Gregbard talk contribs 5,369 bytes +22 tautology (logic) using AWB undo

curprev 08:2108:21, 5 September 2009 79.233.236.229 talk 5,347 bytes +223 No edit summary undo

curprev 15:1615:16, 27 July 2009 Giftlite talk contribs m 5,124 bytes +1 +. undo
curprev 12:2312:23, 27 July 2009 MPeterHenry talk contribs 5,123 bytes +93 No edit summary undo

curprev 01:2501:25, 26 January 2009 John talk contribs 5,030 bytes −16 Typo fixing using AWB undo

curprev 14:1014:10, 6 October 2008 Lightbot talk contribs 5,046 bytes −4 Date links per wp:mosnum/Other undo

curprev 23:0223:02, 21 June 2008 DOI bot talk contribs m 5,050 bytes +27 Citation maintenance. You can use this bot yourself! Please report any bugs. undo

curprev 08:3008:30, 11 March 2008 JRSpriggs talk contribs 5,023 bytes +73 →References: Gentzen's consistency proof undo

2 October 2024

2 October 2023

3 May 2023

26 June 2021

29 January 2021

16 December 2020

14 August 2020

13 October 2019

13 July 2019

15 December 2018

25 December 2017

22 November 2017

8 February 2017

12 September 2016

1 September 2016

25 August 2016

11 June 2014

7 February 2014

7 September 2013

13 June 2013

7 March 2013

3 December 2012

5 April 2012

18 October 2011

14 June 2011

9 June 2011

18 April 2011

13 January 2011

3 January 2011

27 September 2010

10 September 2010

10 December 2009

4 December 2009

5 September 2009

27 July 2009

26 January 2009

6 October 2008

21 June 2008

11 March 2008