Syntax (logic): Revision history

23 March 2024

• curprev 15:1215:12, 23 March 2024 Thiagovscoelho talk contribs 10,081 bytes +20 No edit summary undo

19 December 2023

• curprev 23:0423:04, 19 December 2023 Oneequalsequalsone talk contribs 10,061 bytes −45 Undid revision 1190799293 by Oneequalsequalsone (talk) undo Tag: Undo
• curprev 22:5322:53, 19 December 2023 Oneequalsequalsone talk contribs 10,106 bytes +45 Undid revision 1190788813 by Oneequalsequalsone (talk) undo Tags: Undo Reverted
• curprev 21:2821:28, 19 December 2023 Oneequalsequalsone talk contribs 10,061 bytes −45 interpretation is a concept that belongs in semantics undo Tags: Reverted Visual edit

19 August 2023

• curprev 00:4800:48, 19 August 2023 OAbot talk contribs m 10,106 bytes −4 Open access bot: doi updated in citation with #oabot. undo

26 July 2023

• curprev 09:1909:19, 26 July 2023 Citation bot talk contribs 10,110 bytes −72 Removed proxy/dead URL that duplicated identifier. Removed access-date with no URL. | Use this bot. Report bugs. | Suggested by Abductive | Category:Formal languages | #UCB_Category 198/202 undo

10 February 2023

• curprev 10:5710:57, 10 February 2023 Onel5969 talk contribs m 10,182 bytes +2 Disambiguating links to Falsity (link changed to Deception) using DisamAssist. undo

28 January 2023

• curprev 18:2518:25, 28 January 2023 OAbot talk contribs m 10,180 bytes +16 Open access bot: doi added to citation with #oabot. undo

10 October 2022

• curprev 22:3322:33, 10 October 2022 SchreiberBike talk contribs 10,164 bytes +1 Fix typo, pres → press undo

11 December 2021

• curprev 11:5611:56, 11 December 2021 Citation bot talk contribs 10,163 bytes +236 Alter: template type. Add: pages, issue, volume, journal, doi, year, authors 1-4. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Formal languages | #UCB_Category 46/214 undo

13 December 2020

• curprev 03:3003:30, 13 December 2020 Monkbot talk contribs m 9,927 bytes +3 Task 18 (cosmetic): eval 8 templates: del empty params (1×); hyphenate params (7×); undo Tag: AWB

2 April 2020

• curprev 09:1309:13, 2 April 2020 The Eloquent Peasant talk contribs 9,924 bytes +103 Adding local short description: "Rules used for constructing, or transforming the symbols and words of a language", overriding Wikidata description "implementation of classification levels forms catagories of content" (Shortdesc helper) undo

24 September 2019

• curprev 14:1114:11, 24 September 2019 Tom.Reding talk contribs m 9,821 bytes +17 Category:CS1 errors: deprecated parameters: migrate 2/2 |dead-url= to |url-status=; minor cleanup; WP:GenFixes on undo Tag: AWB

17 July 2019

• curprev 07:5207:52, 17 July 2019 49.145.153.141 talk 9,804 bytes −1 No edit summary undo

28 May 2019

• curprev 16:2216:22, 28 May 2019 Hildeoc talk contribs m 9,805 bytes −1 →External links: wfy undo

15 November 2018

• curprev 14:1314:13, 15 November 2018 Mindmatrix talk contribs m 9,806 bytes +5 Reverted edits by 39.49.161.75 (talk) to last version by 122.107.241.168 undo Tag: Rollback
• curprev 08:0708:07, 15 November 2018 39.49.161.75 talk 9,801 bytes −5 No edit summary undo

22 August 2018

• curprev 17:4017:40, 22 August 2018 122.107.241.168 talk 9,806 bytes −8 →Formal language undo Tags: Mobile edit Mobile web edit

8 July 2018

• curprev 00:3400:34, 8 July 2018 PolicyReformer talk contribs m 9,814 bytes −4 Reverted 1 edit by Jason S Heise (talk) to last revision by GreenC bot. (TW) undo Tag: Undo
• curprev 00:3300:33, 8 July 2018 Jason S Heise talk contribs 9,818 bytes +4 Data undo Tags: Visual edit Mobile edit Mobile web edit

16 June 2018

• curprev 18:0418:04, 16 June 2018 GreenC bot talk contribs 9,814 bytes +91 Rescued 1 archive link; remove 1 link. Wayback Medic 2.1 undo

10 June 2018

• curprev 01:3301:33, 10 June 2018 InternetArchiveBot talk contribs 9,723 bytes +233 Rescuing 1 sources and tagging 1 as dead. #IABot (v2.0beta) undo

5 January 2018

• curprev 01:2801:28, 5 January 2018 Allforrous talk contribs 9,490 bytes +35 Commonscat-inline template. undo

8 September 2017

• curprev 17:3917:39, 8 September 2017 RJGray talk contribs 9,455 bytes +23 →Syntactic completeness of a formal system: link undo

7 November 2016

• curprev 09:5309:53, 7 November 2016 Bender the Bot talk contribs m 9,432 bytes −4 clean up; http→https for Google Books using AWB undo

12 March 2016

• curprev 07:4107:41, 12 March 2016 JP.Martin-Flatin talk contribs 9,436 bytes +2 In mathematics, the standard abbreviation "iff" means "if and only if". undo

27 February 2016

• curprev 06:3306:33, 27 February 2016 24.157.70.197 talk 9,434 bytes −1 →Syntactic completeness of a formal system: spelling correction undo
• curprev 06:3206:32, 27 February 2016 24.157.70.197 talk 9,435 bytes −1 →Syntactic completeness of a formal system: spelling correction undo

13 January 2016

• curprev 09:5109:51, 13 January 2016 JP.Martin-Flatin talk contribs 9,436 bytes −141 Improved the definition of "syntax" in computer science and removed an irrelevant reference. undo

20 January 2015

• curprev 11:1911:19, 20 January 2015 Macedonian talk contribs m 9,577 bytes −54 Reverted 1 edit by 41.133.252.179 (talk) to last revision by Hyacinth. (TW) undo
• curprev 11:0511:05, 20 January 2015 41.133.252.179 talk 9,631 bytes +54 choice undo

19 October 2014

• curprev 01:1101:11, 19 October 2014 Hyacinth talk contribs 9,577 bytes +10 →See also: {{Logic}} undo

18 October 2014

• curprev 23:3423:34, 18 October 2014 Hyacinth talk contribs 9,567 bytes +4 →See also: {{Mathematical logic}} undo
• curprev 23:3423:34, 18 October 2014 Hyacinth talk contribs 9,563 bytes +9 →See also: Mathematical logic undo

15 October 2014

• curprev 20:0720:07, 15 October 2014 Hebrides talk contribs 9,554 bytes +383 fill out references, tidy link per WP:OVERLINK using AWB undo

3 May 2014

• curprev 00:2700:27, 3 May 2014 Thenub314 talk contribs 9,171 bytes +8 →Syntactic completeness of a formal system: updating link undo

3 April 2014

• curprev 18:4818:48, 3 April 2014 Masssly talk contribs 9,163 bytes +1 clean up using AWB undo

28 February 2013

• curprev 06:2206:22, 28 February 2013 Addbot talk contribs m 9,162 bytes −131 Bot: Migrating 4 interwiki links, now provided by Wikidata on d:q2395230 (Report Errors) undo

22 October 2012

• curprev 20:4220:42, 22 October 2012 Gregbard talk contribs 9,293 bytes −17 link fix undo

20 October 2012

• curprev 04:0604:06, 20 October 2012 MithrandirMage talk contribs 9,310 bytes 0 Replace PNG image with new SVG version. undo

19 October 2012

• curprev 00:1000:10, 19 October 2012 Gregbard talk contribs 9,310 bytes +552 problem undo

17 October 2012

• curprev 19:1119:11, 17 October 2012 Arthur Rubin talk contribs 8,758 bytes −11 Undid revision 518277302 by Gregbard (talk) disambiguate undo
• curprev 19:0819:08, 17 October 2012 Arthur Rubin talk contribs 8,769 bytes −541 Reverted to revision 492370535 by Arthur Rubin: The disagram is STILL inappropriate, and is so noted since 2010, with no response. (TW) undo
• curprev 07:1807:18, 17 October 2012 Gregbard talk contribs 9,310 bytes +11 Undid revision 517854400 by BD2412 (talk) undo

15 October 2012

• curprev 03:0503:05, 15 October 2012 BD2412 talk contribs 9,299 bytes −11 Disambiguated: derivation → formal proof undo

9 September 2012

• curprev 05:0505:05, 9 September 2012 Bhny talk contribs 9,310 bytes −18 -is- undo

13 May 2012

• curprev 21:1821:18, 13 May 2012 CBM talk contribs 9,328 bytes −183 Rm sentence from caption. I found a copy of the book claimed as a source elsewhere, and there is no such claim on p. 71, in fact it claims the opposite. undo
• curprev 20:1020:10, 13 May 2012 Gregbard talk contribs 9,511 bytes +742 revert vandalism undo
• curprev 15:1415:14, 13 May 2012 Arthur Rubin talk contribs 8,769 bytes −742 Per lack of support since October 2010 undo

5 May 2012

• curprev 21:3921:39, 5 May 2012 Gregbard talk contribs 9,511 bytes +33 added Category:Philosophy of logic using HotCat undo