Intermediate logic: Revision history

28 April 2024

• curprev 23:1723:17, 28 April 2024‎ 178.165.186.228 talk‎ 12,178 bytes 0‎ →‎Properties and examples undo
• curprev 22:2022:20, 28 April 2024‎ 178.165.186.228 talk‎ 12,178 bytes +169‎ →‎Properties and examples undo

23 April 2024

• curprev 17:5817:58, 23 April 2024‎ 178.115.66.222 talk‎ 12,009 bytes +2‎ →‎Properties and examples: Missing equality undo
• curprev 17:5717:57, 23 April 2024‎ 178.115.66.222 talk‎ 12,007 bytes +2‎ →‎Properties and examples undo
• curprev 17:5717:57, 23 April 2024‎ 178.115.66.222 talk‎ 12,005 bytes +8‎ →‎Properties and examples undo
• curprev 17:5617:56, 23 April 2024‎ 178.115.66.222 talk‎ 11,997 bytes +37‎ →‎Properties and examples undo
• curprev 17:1317:13, 23 April 2024‎ 178.115.66.222 talk‎ 11,960 bytes +123‎ →‎Properties and examples undo
• curprev 17:0417:04, 23 April 2024‎ 178.115.66.222 talk‎ 11,837 bytes +154‎ →‎Properties and examples undo

22 April 2024

• curprev 00:5000:50, 22 April 2024‎ Marcin Rychlewicz talk contribs‎ 11,683 bytes +1‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit

14 April 2024

• curprev 12:5912:59, 14 April 2024‎ 212.186.132.66 talk‎ 11,682 bytes +22‎ →‎Properties and examples undo
• curprev 12:5912:59, 14 April 2024‎ 212.186.132.66 talk‎ 11,660 bytes +85‎ →‎Properties and examples: Link to Consequentia mirabilis undo

25 March 2024

• curprev 20:4620:46, 25 March 2024‎ 91.141.54.200 talk‎ 11,575 bytes +15‎ →‎Properties and examples undo

21 February 2024

• curprev 16:0216:02, 21 February 2024‎ Jarble talk contribs‎ 11,560 bytes +1‎ adding Template:Non-classical logic undo
• curprev 16:0016:00, 21 February 2024‎ Jarble talk contribs‎ 11,559 bytes +23‎ adding Template:Mathematical logic undo

19 February 2024

• curprev 20:3420:34, 19 February 2024‎ Citation bot talk contribs‎ 11,536 bytes +106‎ Alter: journal, doi. Add: s2cid, doi, jstor. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 206/527 undo

16 February 2024

• curprev 22:1222:12, 16 February 2024‎ Apokrif talk contribs‎ 11,430 bytes 0‎ →‎Properties and examples: Typo. undo Tags: Mobile edit Mobile web edit Advanced mobile edit

15 February 2024

• curprev 01:4601:46, 15 February 2024‎ AnomieBOT talk contribs‎ m 11,430 bytes +19‎ Dating maintenance tags: {{Citation needed}} undo

14 February 2024

• curprev 23:4623:46, 14 February 2024‎ Jean Abou Samra talk contribs‎ m 11,411 bytes +19‎ Request citation undo

4 February 2024

• curprev 09:2609:26, 4 February 2024‎ Saolof talk contribs‎ 11,392 bytes +182‎ →‎Properties and examples: Added the de morgan form of Dumett-Gödel logic undo

28 January 2024

• curprev 17:5217:52, 28 January 2024‎ 178.115.46.20 talk‎ 11,210 bytes +2‎ →‎Properties and examples undo

18 January 2024

• curprev 19:4919:49, 18 January 2024‎ Mazewaxie talk contribs‎ m 11,208 bytes +4‎ WP:GENFIXES undo Tag: AWB

15 January 2024

• curprev 23:2823:28, 15 January 2024‎ Marc Schroeder talk contribs‎ m 11,204 bytes +37‎ →‎Properties and examples: linked a redirection page to its target undo
• curprev 23:2323:23, 15 January 2024‎ Marc Schroeder talk contribs‎ m 11,167 bytes +1,404‎ No edit summary undo

14 January 2024

• curprev 17:0417:04, 14 January 2024‎ 77.119.174.30 talk‎ 9,763 bytes +118‎ →‎Properties and examples undo

31 December 2023

• curprev 10:0610:06, 31 December 2023‎ 46.125.250.111 talk‎ 9,645 bytes −29‎ →‎Properties and examples: Rem alternatives undo Tags: Mobile edit Mobile web edit

30 December 2023

• curprev 20:3920:39, 30 December 2023‎ 185.205.251.155 talk‎ 9,674 bytes +29‎ →‎Properties and examples undo
• curprev 13:4613:46, 30 December 2023‎ 92.63.250.140 talk‎ 9,645 bytes +12‎ →‎Properties and examples undo

29 December 2023

• curprev 16:5616:56, 29 December 2023‎ 195.228.188.74 talk‎ 9,633 bytes +16‎ →‎Properties and examples undo
• curprev 16:5516:55, 29 December 2023‎ 195.228.188.74 talk‎ 9,617 bytes +24‎ →‎Properties and examples undo

28 December 2023

• curprev 23:5623:56, 28 December 2023‎ 178.165.198.59 talk‎ 9,593 bytes +24‎ →‎Properties and examples undo
• curprev 23:4423:44, 28 December 2023‎ 178.165.198.59 talk‎ 9,569 bytes +1‎ →‎Properties and examples: Another typo undo
• curprev 23:4323:43, 28 December 2023‎ 178.165.198.59 talk‎ 9,568 bytes +1‎ →‎Properties and examples: Typo undo
• curprev 23:4123:41, 28 December 2023‎ 178.165.198.59 talk‎ 9,567 bytes +155‎ →‎Properties and examples: Be more specific undo
• curprev 23:2923:29, 28 December 2023‎ 178.165.198.59 talk‎ 9,412 bytes +285‎ →‎Properties and examples: Disjunction property undo
• curprev 21:4621:46, 28 December 2023‎ 178.165.198.59 talk‎ 9,127 bytes +155‎ →‎Properties and examples: Conditional forms undo
• curprev 21:2721:27, 28 December 2023‎ 178.165.198.59 talk‎ 8,972 bytes −70‎ →‎Properties and examples: Simplify explainer undo
• curprev 21:2121:21, 28 December 2023‎ 178.165.198.59 talk‎ 9,042 bytes 0‎ →‎Properties and examples undo
• curprev 21:1821:18, 28 December 2023‎ 178.165.198.59 talk‎ 9,042 bytes −10‎ →‎Properties and examples: cleanup undo
• curprev 21:1621:16, 28 December 2023‎ 178.165.198.59 talk‎ 9,052 bytes +64‎ →‎Properties and examples: Link to IP undo
• curprev 21:0921:09, 28 December 2023‎ 178.165.198.59 talk‎ 8,988 bytes 0‎ →‎Properties and examples: Uniform language undo
• curprev 21:0821:08, 28 December 2023‎ 178.165.198.59 talk‎ 8,988 bytes +20‎ →‎Properties and examples undo
• curprev 21:0521:05, 28 December 2023‎ 178.165.198.59 talk‎ 8,968 bytes +1,458‎ →‎Properties and examples: Adding names, details, formatting undo

18 October 2023

• curprev 17:0717:07, 18 October 2023‎ Sahaib talk contribs‎ 7,510 bytes +73‎ Importing Wikidata short description: "Propositional logic extending intuitionistic logic" undo Tag: Shortdesc helper

12 August 2023

• curprev 12:0412:04, 12 August 2023‎ Saolof talk contribs‎ 7,437 bytes +102‎ →‎Properties and examples: Added alternate form of Gödel–Dummett logic to make it easier to compare with Kreisel–Putnam logic below undo

15 May 2023

• curprev 14:1414:14, 15 May 2023‎ Headbomb talk contribs‎ m 7,335 bytes −147‎ →‎References: task, removed: ?casa_token=WFCaxOvlFq8AAAAA:KAW5jhw3_s0nn5NHh9dqRWIozEXyJHu7O5JNehJngE9CBWUtXwh1CWcerYBDhanQiwhqdzl54EUqV1DrnYNXddJjptB4ZeKL-aPtwKX_QMlTHDx_WPfiUw undo Tag: AWB

2 May 2021

• curprev 10:5010:50, 2 May 2021‎ 2a02:1812:1700:c500:6c44:776b:4ab1:471f talk‎ 7,482 bytes +55‎ No edit summary undo

8 December 2020

• curprev 18:1518:15, 8 December 2020‎ 2001:861:3ac0:4fa0:acf4:b72e:3b51:eff8 talk‎ 7,427 bytes +15‎ No edit summary undo

5 June 2019

• curprev 16:4816:48, 5 June 2019‎ Jarble talk contribs‎ 7,412 bytes +261‎ adding links to references using Google Scholar undo

14 November 2018

• curprev 22:0822:08, 14 November 2018‎ Texvc2LaTeXBot talk contribs‎ m 7,151 bytes +2‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

16 January 2018

• curprev 18:1818:18, 16 January 2018‎ EmilJ talk contribs‎ 7,149 bytes −6‎ →‎top: classical logic is also intermediate undo