Residuated lattice: 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 02:4202:42, 12 October 2023‎ Cedar101 talk contribs‎ m 13,283 bytes +33‎ →‎Residuated semilattice: {{math|1=}} undo
curprev 02:4102:41, 12 October 2023‎ Cedar101 talk contribs‎ m 13,250 bytes +107‎ →‎Examples: {{math|1=}} undo
curprev 02:3602:36, 12 October 2023‎ Cedar101 talk contribs‎ m 13,143 bytes +219‎ →‎Definition: {{math|1=}} undo

curprev 18:4718:47, 25 March 2023‎ Macrakis talk contribs‎ 12,924 bytes +61‎ Adding local short description: "In mathematics, an algebraic structure", overriding Wikidata description "algebraic structure that is both a lattice and a monoid, with operations x\z and z/y, analogous to division or implication, when the monoid operation is viewed as multiplication or conjunction, respectively" undo Tag: Shortdesc helper

curprev 09:4509:45, 15 August 2022‎ Astaulphe talk contribs‎ m 12,863 bytes −31‎ →‎Examples: All linear orders are Heyting algebras undo

curprev 21:0421:04, 28 October 2021‎ 2a02:1812:110c:dc00:e8fd:6548:c77c:8a1e talk‎ 12,894 bytes +4‎ No edit summary undo

curprev 17:0917:09, 5 April 2021‎ AnomieBOT talk contribs‎ m 12,890 bytes +32‎ Dating maintenance tags: {{Relevance-inline}} {{Cn}} undo
curprev 15:0915:09, 5 April 2021‎ 188.25.79.212 talk‎ 12,858 bytes +26‎ →‎Examples: I'm pretty sure this psychological observation isn't in any of the math books cited undo

curprev 10:0610:06, 21 February 2020‎ Iridescent talk contribs‎ m 12,832 bytes +2‎ →‎References: Cleanup and typo fixing, typo(s) fixed: 335-54 → 335–54 undo Tag: AWB

curprev 01:1501:15, 14 August 2019‎ Beland talk contribs‎ m 12,830 bytes −4‎ convert special characters (via WP:JWB) undo

curprev 22:2422:24, 11 February 2019‎ 90.116.101.72 talk‎ 12,834 bytes 0‎ →‎Examples undo
curprev 20:4320:43, 11 February 2019‎ 90.116.101.72 talk‎ 12,834 bytes +34‎ →‎Definition undo
curprev 19:5619:56, 11 February 2019‎ 90.116.101.72 talk‎ 12,800 bytes +25‎ No edit summary undo

curprev 03:0403:04, 31 December 2018‎ 141.156.170.163 talk‎ 12,775 bytes +82‎ added another example undo

curprev 16:3516:35, 15 October 2018‎ 165.230.224.217 talk‎ 12,693 bytes +12‎ →‎Examples undo

curprev 19:5519:55, 18 August 2018‎ Beland talk contribs‎ m 12,681 bytes −149‎ convert HTML entities undo

curprev 08:0308:03, 26 January 2018‎ Ernsts talk contribs‎ m 12,830 bytes +33‎ →‎See also: Residuated Boolean algebra undo

curprev 00:1300:13, 16 July 2017‎ Deacon Vorbis talk contribs‎ m 12,797 bytes −4‎ →‎Examples: LaTeX spacing clean up, replaced: \,</math> → </math> (2) using AWB undo

curprev 01:1101:11, 20 June 2017‎ CBM talk contribs‎ m 12,801 bytes +4‎ Manually reviewed edit to replace magic words per local rfc undo

curprev 04:5304:53, 11 January 2017‎ 173.66.158.146 talk‎ 12,797 bytes −4‎ No edit summary undo
curprev 04:1404:14, 11 January 2017‎ 173.66.158.146 talk‎ 12,801 bytes −4‎ No edit summary undo

curprev 14:3514:35, 22 June 2016‎ Dewritech talk contribs‎ 12,805 bytes +1‎ →‎Definition: clean up, typo(s) fixed: Moreover → Moreover, using AWB undo

curprev 04:2504:25, 19 April 2015‎ 86.127.138.67 talk‎ 12,804 bytes +15‎ No edit summary undo

curprev 20:4820:48, 21 August 2014‎ JMP EAX talk contribs‎ 12,789 bytes −18‎ wrong, sorry undo
curprev 20:1420:14, 21 August 2014‎ JMP EAX talk contribs‎ 12,807 bytes +18‎ No edit summary undo

curprev 12:2712:27, 5 May 2014‎ Yobot talk contribs‎ m 12,789 bytes +1‎ →‎Residuated semilattice: WP:CHECKWIKI error fixes using AWB (10093) undo

curprev 12:0712:07, 20 July 2013‎ Aleph4 talk contribs‎ m 12,788 bytes 0‎ first name first undo Tag: Visual edit

curprev 02:3002:30, 24 April 2013‎ KLBot2 talk contribs‎ m 12,788 bytes −58‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:Q9462417 undo

curprev 14:4414:44, 28 November 2012‎ Tijfo098 talk contribs‎ 12,846 bytes +26‎ →‎See also: sad this article doesn't cover the connection undo

curprev 13:1813:18, 6 May 2012‎ Helpful Pixie Bot talk contribs‎ m 12,820 bytes +4‎ ISBNs (Build KC) undo

curprev 12:0912:09, 19 January 2012‎ Rschwieb talk contribs‎ 12,816 bytes 0‎ →‎Examples: fixing wlink undo

curprev 17:5217:52, 17 January 2012‎ Rschwieb talk contribs‎ 12,816 bytes +29‎ →‎Examples: wlinking conductor undo
curprev 16:5816:58, 17 January 2012‎ Rschwieb talk contribs‎ 12,787 bytes +22‎ →‎Examples: rethought a few sentences undo
curprev 16:2916:29, 17 January 2012‎ Rschwieb talk contribs‎ 12,765 bytes +1,014‎ →‎Examples: added residuated lattice of ring ideals undo

curprev 06:0606:06, 13 September 2010‎ David Eppstein talk contribs‎ m 11,751 bytes +16‎ →‎References: link new article on Morgan Ward undo

curprev 21:1721:17, 19 July 2010‎ GrouchoBot talk contribs‎ m 11,735 bytes +40‎ robot Adding: uk:Ґратка з діленням undo

curprev 16:5516:55, 26 May 2010‎ Vaughan Pratt talk contribs‎ m 11,695 bytes +45‎ better link for residuated semilattice undo

curprev 03:5703:57, 4 December 2009‎ Gregbard talk contribs‎ 11,650 bytes +18‎ →‎Examples: tautology using AWB undo

curprev 14:1014:10, 6 August 2009‎ Hans Adler talk contribs‎ 11,632 bytes +17‎ →‎Examples: link monus, clarify that definition is not the right one in general undo

curprev 06:4106:41, 28 May 2009‎ 70.187.181.90 talk‎ 11,615 bytes +42‎ No edit summary undo

curprev 19:4219:42, 19 January 2009‎ LBehounek talk contribs‎ 11,573 bytes +179‎ →‎References: + the book by Galatos-Jipsen-Kowalski-Ono undo

curprev 21:1721:17, 3 July 2008‎ Pcap talk contribs‎ 11,394 bytes −76‎ Moved Blyth reference on the residuated mapping page. undo
curprev 21:0621:06, 3 July 2008‎ Pcap talk contribs‎ 11,470 bytes +39‎ See also: residuated mapping undo
curprev 20:5920:59, 3 July 2008‎ Pcap talk contribs‎ 11,431 bytes +76‎ Added Blyth's book as reference. undo

curprev 19:2419:24, 30 April 2008‎ Vaughan Pratt talk contribs‎ 11,355 bytes +224‎ →‎Examples: - comparison with Peirce's law undo
curprev 19:1419:14, 30 April 2008‎ Vaughan Pratt talk contribs‎ m 11,131 bytes +43‎ added implication and conjunction as analogies undo

curprev 07:4307:43, 13 April 2008‎ 217.219.145.70 talk‎ 11,088 bytes +1‎ →‎Definition undo

curprev 18:3018:30, 14 February 2008‎ Giftlite talk contribs‎ m 11,087 bytes −9‎ -__TOC__ undo
curprev 11:2311:23, 14 February 2008‎ Vaughan Pratt talk contribs‎ 11,096 bytes +93‎ No edit summary undo
curprev 11:1711:17, 14 February 2008‎ Vaughan Pratt talk contribs‎ 11,003 bytes +128‎ →‎Definition undo

12 October 2023

25 March 2023

15 August 2022

28 October 2021

5 April 2021

21 February 2020

14 August 2019

11 February 2019

31 December 2018

15 October 2018

18 August 2018

26 January 2018

16 July 2017

20 June 2017

11 January 2017

22 June 2016

19 April 2015

21 August 2014

5 May 2014

20 July 2013

24 April 2013

28 November 2012

6 May 2012

19 January 2012

17 January 2012

13 September 2010

19 July 2010

26 May 2010

4 December 2009

6 August 2009

28 May 2009

19 January 2009

3 July 2008

30 April 2008

13 April 2008

14 February 2008