Algebraic logic: 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:0823:08, 23 August 2024‎ Omnipaedista talk contribs‎ 19,522 bytes −1‎ MOS:SECTIONORDER undo
curprev 22:4022:40, 23 August 2024‎ Rgdboer talk contribs‎ 19,523 bytes +23‎ Undid revision 1210815757 by Omnipaedista (talk) linked from line "Related" in template undo Tag: Undo

curprev 13:2713:27, 28 February 2024‎ Omnipaedista talk contribs‎ 19,500 bytes −23‎ not linked from the template undo Tags: Undo Reverted

curprev 01:3201:32, 21 February 2024‎ Jarble talk contribs‎ 19,523 bytes +23‎ adding Template:Mathematical logic undo Tag: Reverted

curprev 23:1223:12, 31 October 2023‎ Tom.Reding talk contribs‎ m 19,500 bytes +22‎ +{{Authority control}} (1 ID from Wikidata); WP:GenFixes & cleanup on undo Tag: AWB

curprev 08:0708:07, 29 October 2023‎ Jochen Burghardt talk contribs‎ 19,478 bytes +42‎ →‎History: change back subset-->member (e.g. the universal relation AxB is a member of P(AxB), but not a subset); singular is more precise; actually use A,B after they have been introduced undo
curprev 00:5000:50, 29 October 2023‎ Rgdboer talk contribs‎ m 19,436 bytes −7‎ →‎History: c/e undo
curprev 00:4500:45, 29 October 2023‎ Rgdboer talk contribs‎ 19,443 bytes +98‎ →‎Example: cite Freeman undo

curprev 12:4212:42, 21 October 2023‎ Madeleinekale talk contribs‎ 19,345 bytes +242‎ No edit summary undo Tag: Visual edit

curprev 12:2312:23, 16 October 2023‎ Cedar101 talk contribs‎ m 19,103 bytes +30‎ →‎Calculus of relations: {{mvar}} {{pi}} undo

curprev 20:4220:42, 16 March 2023‎ AnomieBOT talk contribs‎ m 19,073 bytes +16‎ Dating maintenance tags: {{Clarification needed}} undo
curprev 18:4118:41, 16 March 2023‎ 97.126.103.51 talk‎ 19,057 bytes +24‎ really ambiguous wording could use clarification (maybe it makes sense to professional logicians) undo

curprev 16:5516:55, 14 March 2023‎ Citation bot talk contribs‎ 19,033 bytes +1‎ Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 14:1914:19, 13 March 2023‎ Citation bot talk contribs‎ 19,032 bytes +2‎ Add: doi. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 21:5221:52, 23 September 2022‎ Rgdboer talk contribs‎ m 19,030 bytes +12‎ →‎History: c/e undo

curprev 00:5500:55, 7 May 2022‎ Rgdboer talk contribs‎ m 19,018 bytes −16‎ →‎Functions: rm pipe undo

curprev 02:3902:39, 30 March 2022‎ Rgdboer talk contribs‎ 19,034 bytes +266‎ →‎History: re Russell 1903 undo

curprev 09:0809:08, 22 November 2021‎ Dewritech talk contribs‎ m 18,768 bytes +1‎ →‎Functions: clean up, typo(s) fixed: Therefore → Therefore, undo Tag: AWB

curprev 15:0515:05, 14 November 2021‎ Jochen Burghardt talk contribs‎ 18,767 bytes −30‎ →‎External links: linked via wikidata on side tab undo
curprev 04:4204:42, 14 November 2021‎ Rgdboer talk contribs‎ 18,797 bytes +82‎ →‎External links: PhilPapers undo

curprev 18:0118:01, 1 November 2021‎ Rgdboer talk contribs‎ m 18,715 bytes +6‎ →‎Further reading: lk Irving Anellis undo

curprev 14:3014:30, 23 September 2021‎ Inwind talk contribs‎ m 18,709 bytes +120‎ clean up, link undo Tag: AWB

curprev 08:5208:52, 16 June 2021‎ Jochen Burghardt talk contribs‎ 18,589 bytes +214‎ →‎Calculus of relations: flesh out ref. and fix surname spelling undo

curprev 08:5508:55, 20 May 2021‎ AnomieBOT talk contribs‎ m 18,375 bytes +14‎ Dating maintenance tags: {{Cn}} undo
curprev 08:3408:34, 20 May 2021‎ Jochen Burghardt talk contribs‎ 18,361 bytes +119‎ →‎Abstraction: convert to ((cite)) undo
curprev 08:2708:27, 20 May 2021‎ Jochen Burghardt talk contribs‎ 18,242 bytes +71‎ →‎Functions: univalence, injectivity, etc. are properties, not relations; unify math style at least in this section undo
curprev 08:1908:19, 20 May 2021‎ Jochen Burghardt talk contribs‎ 18,171 bytes +7‎ →‎Example undo

curprev 21:5621:56, 21 February 2021‎ Xiamatt talk contribs‎ m 18,164 bytes 0‎ Undid revision 1008018374 by 173.66.174.18 (talk) undo Tag: Undo
curprev 03:4703:47, 21 February 2021‎ 173.66.174.18 talk‎ 18,164 bytes 0‎ No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 02:5602:56, 2 January 2021‎ Rgdboer talk contribs‎ m 18,164 bytes −30‎ →‎Algebras as models of logics: lk Term (logic) dab undo

curprev 22:5422:54, 1 January 2021‎ R'n'B talk contribs‎ m 18,194 bytes +24‎ Disambiguating links to Term (help needed) using DisamAssist. undo

curprev 01:4601:46, 8 December 2020‎ Monkbot talk contribs‎ m 18,170 bytes −41‎ Task 18 (cosmetic): eval 6 templates: del empty params (1×); del |ref=harv (3×); undo Tag: AWB

curprev 16:0316:03, 25 August 2020‎ ArnoldReinhold talk contribs‎ 18,211 bytes +68‎ Importing Wikidata short description: "Reasoning about equations with free variables" (Shortdesc helper) undo

curprev 23:2223:22, 16 August 2020‎ Omnipaedista talk contribs‎ 18,143 bytes +314‎ →‎History undo
curprev 17:4417:44, 16 August 2020‎ Omnipaedista talk contribs‎ 17,829 bytes +4‎ see MOS:SECTIONORDER undo

curprev 04:3304:33, 25 July 2020‎ Rgdboer talk contribs‎ 17,825 bytes +258‎ →‎History: re Macfarlane undo

curprev 09:1109:11, 1 February 2020‎ Dominic3203 talk contribs‎ 17,567 bytes +22‎ →‎See also undo Tag: 2017 wikitext editor

curprev 03:5203:52, 3 December 2019‎ Rgdboer talk contribs‎ 17,545 bytes +768‎ →‎Calculus of relations: §§, nss Example undo

curprev 00:3300:33, 15 September 2019‎ TAnthony talk contribs‎ m 16,777 bytes −1‎ Correct citation errors (deprecated dead-url parameters), and genfixes undo Tag: AWB

curprev 22:1922:19, 14 September 2019‎ David Eppstein talk contribs‎ 16,778 bytes +4‎ Hajnal Andréka undo

curprev 23:1123:11, 2 September 2019‎ Rgdboer talk contribs‎ 16,774 bytes +285‎ →‎Further reading: Anellis/Houser undo

curprev 08:1408:14, 24 August 2019‎ Omnipaedista talk contribs‎ 16,489 bytes +2‎ fix typo undo

curprev 23:2223:22, 3 July 2019‎ GreenC bot talk contribs‎ 16,487 bytes −41‎ Reformat 1 archive link. Wayback Medic 2.5 undo

curprev 14:4114:41, 17 June 2019‎ Mathematrucker talk contribs‎ m 16,528 bytes −4‎ →‎Algebras as models of logics: removed "the" undo

curprev 02:4002:40, 14 May 2019‎ InternetArchiveBot talk contribs‎ 16,532 bytes +260‎ Rescuing 2 sources and tagging 0 as dead. #IABot (v2.0beta14) undo

curprev 00:3100:31, 22 March 2019‎ Drevolt talk contribs‎ 16,272 bytes +17‎ →‎History: Added first names for Frege and Peano undo

curprev 01:4801:48, 25 February 2019‎ Rgdboer talk contribs‎ m 16,255 bytes +2‎ →‎Calculus of relations: fx BN undo
curprev 01:4401:44, 25 February 2019‎ Rgdboer talk contribs‎ m 16,253 bytes +29‎ →‎Calculus of relations: pp undo

curprev 03:0803:08, 24 February 2019‎ Rgdboer talk contribs‎ m 16,224 bytes +7‎ →‎Calculus of relations: \overline, ö undo
curprev 03:0503:05, 24 February 2019‎ Rgdboer talk contribs‎ m 16,217 bytes +1‎ →‎Calculus of relations: sp undo

23 August 2024

28 February 2024

21 February 2024

31 October 2023

29 October 2023

21 October 2023

16 October 2023

16 March 2023

14 March 2023

13 March 2023

23 September 2022

7 May 2022

30 March 2022

22 November 2021

14 November 2021

1 November 2021

23 September 2021

16 June 2021

20 May 2021

21 February 2021

2 January 2021

1 January 2021

8 December 2020

25 August 2020

16 August 2020

25 July 2020

1 February 2020

3 December 2019

15 September 2019

14 September 2019

2 September 2019

24 August 2019

3 July 2019

17 June 2019

14 May 2019

22 March 2019

25 February 2019

24 February 2019