Intuitionistic 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 07:5007:50, 29 April 2025 Marc Schroeder talk contribs m 53,965 bytes −1 →Mathematical constructivism undo

curprev 16:5116:51, 21 April 2025 91.141.42.105 talk 53,966 bytes −1 →Equivalences: Fix 2022 typo undo

curprev 13:4813:48, 18 April 2025 Arjayay talk contribs m 53,967 bytes −1 Duplicate word reworded undo
curprev 11:3411:34, 18 April 2025 212.186.132.66 talk 53,968 bytes +41 →Disjunction vs. implication: Be more specific undo

curprev 17:5717:57, 29 March 2025 Ringo62 talk contribs m 53,927 bytes 0 ce undo Tag: 2017 wikitext editor

curprev 10:1210:12, 1 March 2025 77.119.201.151 talk 53,927 bytes −1 →Non-interdefinability of operators undo
curprev 10:1010:10, 1 March 2025 77.119.201.151 talk 53,928 bytes +8 →Non-interdefinability of operators undo

curprev 21:5821:58, 25 February 2025 77.119.201.151 talk 53,920 bytes +451 →Non-interdefinability of operators: Explain in words undo

curprev 08:0608:06, 6 February 2025 Ringo62 talk contribs m 52,833 bytes −4 No edit summary undo Tag: Visual edit

curprev 02:1202:12, 28 January 2025 David Eppstein talk contribs 52,837 bytes −264 →Hilbert-style calculus: I don't think we need this broken submarine link undo

curprev 11:5411:54, 19 January 2025 Marc Schroeder talk contribs m 53,101 bytes +322 updated a reference undo
curprev 10:2210:22, 19 January 2025 Marc Schroeder talk contribs m 52,779 bytes +18 →Mathematical constructivism undo

curprev 13:2513:25, 4 January 2025 2001:4bc9:a45:899d:1:2:db44:a7a4 talk 52,761 bytes +1 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 14:5414:54, 2 January 2025 Arjayay talk contribs m 52,760 bytes −4 Duplicate word removed undo
curprev 14:0514:05, 2 January 2025 91.141.51.214 talk 52,764 bytes +371 disjunction property to seperate section in metalogic undo

curprev 14:5114:51, 23 December 2024 Oversleep9 talk contribs m 52,393 bytes +122 No edit summary undo Tag: Visual edit
curprev 14:3914:39, 23 December 2024 Oversleep9 talk contribs m 52,271 bytes +17 No edit summary undo Tag: Visual edit
curprev 14:3614:36, 23 December 2024 Oversleep9 talk contribs m 52,254 bytes 0 No edit summary undo Tag: Visual edit

curprev 11:5911:59, 27 November 2024 Oversleep9 talk contribs 52,254 bytes +33 No edit summary undo

curprev 06:4306:43, 7 November 2024 Cyfal talk contribs m 52,221 bytes 0 spelling (WP:Typo Team) undo

curprev 09:4409:44, 2 November 2024 Kku talk contribs m 52,221 bytes +4 link syllogism undo
curprev 09:0409:04, 2 November 2024 Citation bot talk contribs 52,217 bytes +5 Altered doi-broken-date. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 15:3815:38, 18 October 2024 90.156.87.180 talk 52,212 bytes −181 fixed a broken anchor to Łukasiewicz's axioms of CPC undo

curprev 01:4001:40, 20 September 2024 BTernaryTau talk contribs 52,393 bytes −12 Add year and citation to beginning of Semantics section undo

curprev 17:3817:38, 4 August 2024 Ancheta Wis talk contribs 52,405 bytes +9 →Double negations: get rid of ambiguous 'it' undo
curprev 12:2312:23, 4 August 2024 212.186.132.66 talk 52,396 bytes +179 →Double negations undo
curprev 10:4510:45, 4 August 2024 212.186.132.66 talk 52,217 bytes +1 →Existential vs. universal quantification undo
curprev 10:3710:37, 4 August 2024 212.186.132.66 talk 52,216 bytes +19 →Double negations undo

curprev 23:1623:16, 29 July 2024 204.112.199.29 talk 52,197 bytes −192 No edit summary undo

curprev 13:3513:35, 6 July 2024 63.229.16.51 talk 52,389 bytes 0 →Disjunction vs. implication: Fixed typo relating to Charles Sanders Peirce. undo Tags: Mobile edit Mobile web edit

curprev 06:3906:39, 2 July 2024 Cewbot talk contribs m 52,389 bytes +603 Fixing broken anchor: Reminder of an inactive anchor: a way, Reminder of an inactive anchor: {{section link|Propositional calculus|Axioms}}, Reminder of an inactive anchor: three axioms of propositional logic undo

curprev 07:5307:53, 22 June 2024 212.186.132.66 talk 51,786 bytes +96 →Non-interdefinability of operators undo

curprev 12:0212:02, 4 June 2024 Citation bot talk contribs 51,690 bytes +151 Alter: pages, title. Add: series, date, isbn, arxiv, doi, volume, doi-broken-date. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. Upgrade ISBN10 to 13. | Use this bot. Report bugs. | Suggested by Abductive | Category:Vague or ambiguous time from May 2024 | #UCB_Category 458/500 undo

curprev 15:2915:29, 30 May 2024 AnomieBOT talk contribs m 51,539 bytes +28 Dating maintenance tags: {{When}} {{Cn}} undo
curprev 13:2913:29, 30 May 2024 Jean Abou Samra talk contribs 51,511 bytes +14 →Semantics: Needs sourcing undo Tags: Mobile edit Mobile web edit

curprev 21:1221:12, 22 May 2024 91.141.65.220 talk 51,553 bytes +26 →Double negations undo

curprev 23:2523:25, 16 May 2024 178.165.197.164 talk 51,527 bytes +54 →Non-interdefinability of operators undo

29 April 2025

21 April 2025

18 April 2025

29 March 2025

1 March 2025

25 February 2025

23 February 2025

6 February 2025

28 January 2025

19 January 2025

4 January 2025

2 January 2025

23 December 2024

27 November 2024

7 November 2024

2 November 2024

18 October 2024

20 September 2024

4 August 2024

29 July 2024

6 July 2024

2 July 2024

22 June 2024

4 June 2024

30 May 2024

25 May 2024

22 May 2024

16 May 2024