Linear logic: Revision history

20 May 2025

• curprev 10:2210:22, 20 May 2025 Marc Schroeder talk contribs m 34,840 bytes +290 →Further reading undo
• curprev 06:2106:21, 20 May 2025 Marc Schroeder talk contribs m 34,550 bytes +149 →Further reading: } isbn undo

2 April 2025

• curprev 17:2117:21, 2 April 2025 Citation bot talk contribs 34,401 bytes +126 Altered url. URLs might have been anonymized. Add: archive-date, archive-url, doi. | Use this bot. Report bugs. | Suggested by Dominic3203 | Linked from User:Mathbot/Most_linked_math_articles | #UCB_webform_linked 1275/1913 undo

26 March 2025

• curprev 15:0515:05, 26 March 2025 Marc Schroeder talk contribs m 34,275 bytes −74 →Further reading undo
• curprev 14:5814:58, 26 March 2025 Marc Schroeder talk contribs m 34,349 bytes +22 No edit summary undo
• curprev 14:5314:53, 26 March 2025 Marc Schroeder talk contribs m 34,327 bytes +16 No edit summary undo
• curprev 14:4214:42, 26 March 2025 Marc Schroeder talk contribs m 34,311 bytes 0 No edit summary undo
• curprev 14:4214:42, 26 March 2025 Marc Schroeder talk contribs 34,311 bytes +320 updated references| no textual change on article undo Tag: harv or sfn error

5 January 2025

• curprev 17:3017:30, 5 January 2025 Alexey Muranov talk contribs 33,991 bytes +164 →The resource interpretation: 3 linear implications that transform 1 dollar each are needed to transform 3 dollars undo

9 August 2024

• curprev 20:3720:37, 9 August 2024 Octavo talk contribs 33,827 bytes +116 →External links: added link to another prover undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 20:3220:32, 9 August 2024 Octavo talk contribs 33,711 bytes +87 →Exponentials: added definition of why-not of a context undo Tags: Mobile edit Mobile web edit Advanced mobile edit

29 July 2024

• curprev 05:1705:17, 29 July 2024 Citation bot talk contribs 33,624 bytes +137 Altered template type. Add: doi-access, publisher, journal. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox2 | #UCB_webform_linked 716/1051 undo

6 June 2024

• curprev 12:3312:33, 6 June 2024 Noamz talk contribs 33,487 bytes +469 restoring remark with better reference to tech report undo
• curprev 06:2106:21, 6 June 2024 David Eppstein talk contribs 33,018 bytes −425 →Decidability/complexity of entailment: rm claim with bogus reference. https://dblp.org/db/conf/apn/apn1989.html lists nothing matching from that conference, and https://dblp.org/pid/g/CarlAGunter.html lists only an unrelated paper with Gehlot. undo

27 May 2024

• curprev 22:5422:54, 27 May 2024 RaphaelQS talk contribs 33,443 bytes +20 No edit summary undo Tag: Visual edit

19 April 2024

• curprev 21:5121:51, 19 April 2024 Dingolover6969 talk contribs 33,423 bytes +14 We can make ⅋ link directly to the ⅋ page in the table, which I am now doing. This decision is questionably wise. undo

12 March 2024

• curprev 09:3709:37, 12 March 2024 DerSpezialist talk contribs m 33,409 bytes +26 →Exponentials: Typography undo

3 January 2024

• curprev 21:5321:53, 3 January 2024 82.25.27.218 talk 33,383 bytes +106 No edit summary undo

6 November 2023

• curprev 07:0907:09, 6 November 2023 Loytra talk contribs 33,277 bytes +55 No edit summary undo Tag: 2017 wikitext editor

4 November 2023

• curprev 21:4221:42, 4 November 2023 Pagrick talk contribs 33,222 bytes −690 Remove discussion of ⅋, as it is misleading given that section is introduced in the context of intuitionistic linear logic. undo

1 November 2023

• curprev 21:0821:08, 1 November 2023 Pagrick talk contribs 33,912 bytes +380 I think I have a fairly intuitive resource interpretation for ⅋. I left the bit about encoding back into ⊸, although that may be unnecessary since ⅋ has its own section now. undo

24 September 2023

• curprev 12:2612:26, 24 September 2023 IceBergYYC talk contribs 33,532 bytes +4 →Remarkable formulas: linked to robin cockett undo

8 August 2023

• curprev 11:1311:13, 8 August 2023 Zagreus99 talk contribs 33,528 bytes +7 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

24 July 2023

• curprev 19:5919:59, 24 July 2023 Jarble talk contribs 33,521 bytes −26 →See also: removed a link to a non-existent article about the "logic of unity" undo

21 May 2023

• curprev 13:5113:51, 21 May 2023 Tesseran talk contribs m 33,547 bytes +32 link directly to subsection of Duality article dealing with duality in logic and set theory undo

12 May 2023

• curprev 19:2919:29, 12 May 2023 Ancheta Wis talk contribs 33,515 bytes +32 →Connectives, duality, and polarity: anchor undo

3 May 2023

• curprev 15:4915:49, 3 May 2023 AnomieBOT talk contribs m 33,483 bytes +14 Dating maintenance tags: {{Expand section}} undo
• curprev 13:4813:48, 3 May 2023 88.103.236.152 talk 33,469 bytes +18 →Semantics undo

19 December 2022

• curprev 23:1623:16, 19 December 2022 Citation bot talk contribs 33,451 bytes +41 Add: doi, pages. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 2824/3754 undo

16 December 2022

• curprev 01:3501:35, 16 December 2022 InternetArchiveBot talk contribs 33,410 bytes +120 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.2) (Whoop whoop pull up - 11709 undo

15 December 2022

• curprev 18:3418:34, 15 December 2022 Mgkrupa talk contribs 33,290 bytes +63 Copy editing undo

13 October 2022

• curprev 03:3803:38, 13 October 2022 24.56.246.116 talk 33,227 bytes −2 →The resource interpretation: the vending machine illustration is classic (meaning iconic), not classical (meaning part of the reigning orthodoxy prior to all the intellectual revolutions of the 20th century) undo

10 June 2022

• curprev 21:4721:47, 10 June 2022 Citation bot talk contribs 33,229 bytes +44 Add: isbn. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | #UCB_webform 3376/3605 undo

22 February 2022

• curprev 00:0400:04, 22 February 2022 AyoDev talk contribs m 33,185 bytes +22 →Syntax: changed disjunction to link to https://en.wikipedia.org/wiki/Logical_disjunction instead of https://en.wikipedia.org/wiki/Negation undo

1 August 2021

• curprev 22:5322:53, 1 August 2021 Apokrif talk contribs m 33,163 bytes +4 →Decidability/complexity of entailment undo

5 July 2021

• curprev 03:0303:03, 5 July 2021 OAbot talk contribs m 33,159 bytes +16 Open access bot: doi added to citation with #oabot. undo

6 April 2021

• curprev 23:5923:59, 6 April 2021 Mousymouse talk contribs m 33,143 bytes +91 →Syntax: added table for terms undo Tag: Visual edit

31 March 2021

• curprev 14:1114:11, 31 March 2021 Dale A Miller talk contribs m 33,052 bytes −18 →Further reading: Updated the Stanford Encyclopedia of Philosophy entry to point to the most recent version of that article. undo

23 March 2021

• curprev 03:2103:21, 23 March 2021 Beland talk contribs m 33,070 bytes −214 convert special characters (via WP:JWB) undo

7 March 2021

• curprev 22:4422:44, 7 March 2021 David Eppstein talk contribs 33,284 bytes +29 Katalin Bimbó undo

15 February 2021

• curprev 03:2203:22, 15 February 2021 73.15.199.22 talk 33,255 bytes −43 Please don't archive.org that link thanks undo

17 January 2021

• curprev 12:5112:51, 17 January 2021 Pockydog talk contribs m 33,298 bytes +1 No edit summary undo Tag: Visual edit

14 January 2021

• curprev 19:0719:07, 14 January 2021 109.53.5.59 talk 33,297 bytes 0 →Remarkable formulas: fixed a distributivity formula undo

6 January 2021

• curprev 15:1315:13, 6 January 2021 Tom.Reding talk contribs m 33,297 bytes +25 Enum 1 author/editor WL; WP:GenFixes on undo Tag: AWB

4 January 2021

• curprev 19:0219:02, 4 January 2021 90.92.158.158 talk 33,272 bytes 0 →Remarkable formulas: Typo undo

30 December 2020

• curprev 17:4017:40, 30 December 2020 46.142.4.163 talk 33,272 bytes +2,163 More remarkable formulas + consistency of typesetting undo

8 December 2020

• curprev 02:2102:21, 8 December 2020 Monkbot talk contribs m 31,109 bytes −3 Task 18 (cosmetic): eval 10 templates: del empty params (1×); hyphenate params (2×); undo Tag: AWB

3 December 2020

• curprev 14:0914:09, 3 December 2020 WikiCleanerBot talk contribs m 31,112 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

13 May 2020

• curprev 11:3311:33, 13 May 2020 Jarble talk contribs 31,112 bytes +7 Linear logic programming is more relevant to this topic. undo

16 April 2020

• curprev 00:0400:04, 16 April 2020 DannyS712 talk contribs m 31,105 bytes 0 Fixing the location of periods / full stops undo