Double negative elimination: 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 23:4123:41, 14 January 2019‎ Paradoctor talk contribs‎ 145 bytes +21‎ target move cleanup undo Tag: Redirect target changed

curprev 04:4804:48, 5 June 2017‎ Tom.Reding talk contribs‎ m 124 bytes +33‎ +{{Redirect category shell}} using AWB undo

curprev 08:4808:48, 27 February 2015‎ Haruth talk contribs‎ 91 bytes −3,265‎ redirect merged page undo

curprev 12:4212:42, 11 November 2014‎ 101.167.18.166 talk‎ 3,356 bytes +21‎ No edit summary undo

curprev 01:3001:30, 19 October 2014‎ Hyacinth talk contribs‎ 3,335 bytes +78‎ {{full|date=October 2014}} undo
curprev 01:2301:23, 19 October 2014‎ Hyacinth talk contribs‎ 3,257 bytes +21‎ →‎References: {{Classical logic}} undo

curprev 22:2022:20, 24 February 2014‎ Alejandrocaro35 talk contribs‎ 3,236 bytes +28‎ →‎See also undo
curprev 22:0122:01, 24 February 2014‎ Alejandrocaro35 talk contribs‎ 3,208 bytes +3‎ →‎Formal notation undo
curprev 13:1313:13, 24 February 2014‎ Alejandrocaro35 talk contribs‎ 3,205 bytes +9‎ No edit summary undo
curprev 13:1213:12, 24 February 2014‎ Alejandrocaro35 talk contribs‎ 3,196 bytes +36‎ No edit summary undo

curprev 22:4922:49, 17 September 2013‎ ClueBot NG talk contribs‎ m 3,160 bytes −63‎ Reverting possible vandalism by 190.59.34.60 to version by Graham87. False positive? Report it. Thanks, ClueBot NG. (1733626) (Bot) undo
curprev 22:4922:49, 17 September 2013‎ 190.59.34.60 talk‎ 3,223 bytes +63‎ →‎References undo Tag: Visual edit

curprev 11:1211:12, 6 July 2013‎ Graham87 talk contribs‎ m 3,160 bytes 0‎ 1 revision: import old edit from the Nostalgia Wikipedia, see User:Graham87/Import undo

curprev 07:4607:46, 26 February 2013‎ Addbot talk contribs‎ m 3,160 bytes −240‎ Bot: Migrating 7 interwiki links, now provided by Wikidata on d:q737471 (Report Errors) undo

curprev 10:1210:12, 30 August 2012‎ VolkovBot talk contribs‎ m 3,400 bytes +32‎ r2.7.2) (Robot: Adding pl:Prawo podwójnej negacji undo

curprev 18:4418:44, 5 June 2012‎ Grafen talk contribs‎ m 3,368 bytes −1‎ clean up, replaced: it's → its using AWB undo

curprev 22:1922:19, 10 March 2012‎ Helpful Pixie Bot talk contribs‎ m 3,369 bytes +17‎ Dated {{Merge to}}. (Build J1) undo
curprev 22:0122:01, 10 March 2012‎ Gregbard talk contribs‎ m 3,352 bytes −3‎ clean up/merge using AWB undo

curprev 01:0601:06, 6 March 2012‎ Gregbard talk contribs‎ m 3,355 bytes +83‎ ref undo
curprev 00:5500:55, 6 March 2012‎ Gregbard talk contribs‎ m 3,272 bytes 0‎ fx undo
curprev 00:5400:54, 6 March 2012‎ Gregbard talk contribs‎ 3,272 bytes +128‎ hat undo

curprev 10:3410:34, 27 February 2012‎ Gregbard talk contribs‎ 3,144 bytes +39‎ expand undo

curprev 12:4712:47, 22 February 2012‎ PixelBot talk contribs‎ m 3,105 bytes +37‎ r2.7.2) (Robot: Adding de:Gesetz der doppelten Negation undo

curprev 12:2712:27, 18 February 2012‎ Gregbard talk contribs‎ 3,068 bytes +163‎ Template:Transformation rules undo

curprev 01:3401:34, 18 August 2011‎ Gamewizard71 talk contribs‎ 2,905 bytes −19‎ removed Category:Logic using HotCat undo

curprev 11:4511:45, 17 March 2011‎ Twilsonb talk contribs‎ m 2,924 bytes +16‎ replace acronym undo

curprev 16:1916:19, 13 October 2010‎ Noamz talk contribs‎ 2,908 bytes −217‎ this result is Glivenko's theorem rather than the Godel-Gentzen translation, but in any case I think it's a non sequitur here undo
curprev 14:1314:13, 13 October 2010‎ EmilJ talk contribs‎ 3,125 bytes +14‎ it's false in general undo
curprev 13:4813:48, 13 October 2010‎ Blaisorblade talk contribs‎ 3,111 bytes +246‎ Mention Gödel–Gentzen negative translation undo

curprev 12:1412:14, 1 March 2010‎ Fram talk contribs‎ 2,865 bytes −14‎ Replace "unreferenced stub" with "unreferenced" using AWB undo

curprev 14:2514:25, 24 February 2010‎ EmilJ talk contribs‎ m 2,879 bytes −7‎ fmt undo

curprev 06:2106:21, 23 February 2010‎ Hpvpp talk contribs‎ m 2,886 bytes +49‎ added minimal logic undo

curprev 10:4610:46, 17 December 2009‎ SmackBot talk contribs‎ m 2,837 bytes +46‎ remove Erik9bot category,outdated, tag and general fixes undo

curprev 01:5101:51, 3 December 2009‎ Gregbard talk contribs‎ 2,791 bytes +4‎ truth value, Replaced: truth-value → truth-value, using Project:AWB undo

curprev 17:5717:57, 30 November 2009‎ GrouchoBot talk contribs‎ m 2,787 bytes +38‎ robot Adding: nl:Eliminatie van dubbele negatie undo

curprev 17:4117:41, 28 June 2009‎ Erik9bot talk contribs‎ 2,749 bytes +49‎ add Category:Articles lacking sources (Erik9bot) undo

curprev 22:0022:00, 1 April 2008‎ Alexbot talk contribs‎ m 2,700 bytes 0‎ robot Modifying: zh:双重否定除去 undo
curprev 05:1505:15, 1 April 2008‎ Kilva talk contribs‎ m 2,700 bytes +26‎ +zh undo

curprev 22:5522:55, 20 February 2008‎ Gregbard talk contribs‎ m 2,674 bytes −14‎ wff using AWB undo

curprev 15:1015:10, 7 September 2007‎ Populus talk contribs‎ m 2,688 bytes +4‎ replace ~ for negation with ¬ undo

curprev 06:3806:38, 3 August 2007‎ Jamelan talk contribs‎ m 2,684 bytes +29‎ →‎See also: +ja undo

curprev 06:3706:37, 11 July 2007‎ Gregbard talk contribs‎ m 2,655 bytes +34‎ No edit summary undo

curprev 12:2612:26, 23 June 2007‎ Gregbard talk contribs‎ m 2,621 bytes +29‎ No edit summary undo

curprev 18:3618:36, 18 June 2007‎ 200.17.143.31 talk‎ 2,592 bytes +23‎ No edit summary undo

curprev 15:0815:08, 20 January 2007‎ CBM talk contribs‎ 2,569 bytes −19‎ remove parent category logic since child category rules of inference is here undo
curprev 15:0315:03, 20 January 2007‎ CBM talk contribs‎ 2,588 bytes −13‎ change category undo

curprev 04:1504:15, 5 November 2006‎ Mhym talk contribs‎ 2,601 bytes +55‎ +ru undo

curprev 03:2303:23, 19 October 2006‎ Adambiswanger1 talk contribs‎ 2,546 bytes +3‎ No edit summary undo

curprev 15:5515:55, 17 June 2006‎ Mets501 talk contribs‎ m 2,543 bytes −28‎ clean up using AWB undo

curprev 08:3808:38, 9 May 2006‎ Julian Mendez talk contribs‎ m 2,571 bytes +10‎ No edit summary undo

14 January 2019

5 June 2017

27 February 2015

11 November 2014

19 October 2014

24 February 2014

17 September 2013

6 July 2013

26 February 2013

30 August 2012

5 June 2012

10 March 2012

6 March 2012

27 February 2012

22 February 2012

18 February 2012

18 August 2011

17 March 2011

13 October 2010

1 March 2010

24 February 2010

23 February 2010

17 December 2009

3 December 2009

30 November 2009

28 June 2009

1 April 2008

20 February 2008

7 September 2007

3 August 2007

11 July 2007

23 June 2007

18 June 2007

20 January 2007

5 November 2006

19 October 2006

17 June 2006

9 May 2006