Affine logic: Revision history

28 April 2024

• curprev 14:0714:07, 28 April 2024‎ Bacchus talk contribs‎ m 531 bytes 0‎ Text replacement - "tbe " to "the " Tag: Manual revert

26 April 2024

• curprev 08:3008:30, 26 April 2024‎ Bacchus talk contribs‎ m 531 bytes 0‎ Text replacement - " the " to " tbe " Tags: Manual revert Reverted

12 September 2023

• curprev 14:1314:13, 12 September 2023‎ 𝗔𝗿𝗰𝗵𝗮𝗻𝗴𝗲𝗹 talk contribs‎ m 531 bytes 0‎ Text replacement - "tbe" to "the" Tags: Manual revert Reverted

8 September 2023

• curprev 13:5513:55, 8 September 2023‎ Bacchus talk contribs‎ m 531 bytes 0‎ Text replacement - "the" to "tbe" Tag: Reverted

26 February 2023

• curprev 22:4122:41, 26 February 2023‎ WikiSysop talk contribs‎ m 531 bytes 0‎ Text replacement - " The " to " the "

13 February 2023

• curprev 23:4823:48, 13 February 2023‎ WikiSysop talk contribs‎ m 531 bytes 0‎ Text replacement - "tbe" to "The"
• curprev 21:3421:34, 13 February 2023‎ Bacchus talk contribs‎ m 531 bytes 0‎ Text replacement - "the" to "tbe"

9 February 2023

• curprev 18:5518:55, 9 February 2023‎ Bacchus talk contribs‎ m 531 bytes +4‎ Text replacement - "theory" to "theory"

6 February 2023

• curprev 05:1405:14, 6 February 2023‎ Bacchus talk contribs‎ m 527 bytes 0‎ Text replacement - "tbe" to "the"

4 February 2023

• curprev 22:3422:34, 4 February 2023‎ Bacchus talk contribs‎ m 527 bytes 0‎ Text replacement - "the" to "tbe"

13 January 2023

• curprev 00:2900:29, 13 January 2023‎ Deleted User talk contribs‎ m 527 bytes −1‎ Text replacement - "|[[Category:" to "[[Category:"

12 January 2023

• curprev 06:1106:11, 12 January 2023‎ Deleted User talk contribs‎ m 528 bytes +1‎ Text replacement - "[[Category:" to "|[[Category:"

10 January 2023

• curprev 05:0505:05, 10 January 2023‎ Deleted User talk contribs‎ m 527 bytes −1‎ Text replacement - "|[[Category:" to "[[Category:"

8 January 2023

• curprev 18:1318:13, 8 January 2023‎ Bacchus talk contribs‎ m 528 bytes +1‎ Text replacement - "[[Category:" to "|[[Category:"

6 January 2023

• curprev 18:0118:01, 6 January 2023‎ Bacchus talk contribs‎ m 527 bytes −1‎ Text replacement - "|[[Category:" to "[[Category:"

5 January 2023

• curprev 22:5722:57, 5 January 2023‎ Bacchus talk contribs‎ m 528 bytes +1‎ Text replacement - "[[Category:" to "|[[Category:"

4 January 2023

• curprev 00:3700:37, 4 January 2023‎ Deleted User talk contribs‎ m 527 bytes −1‎ Text replacement - "|[[Category:" to "[[Category:"

3 January 2023

• curprev 02:5302:53, 3 January 2023‎ Deleted User talk contribs‎ m 528 bytes +1‎ Text replacement - "[[Category:" to "|[[Category:"

17 December 2022

• curprev 13:5213:52, 17 December 2022‎ Bacchus talk contribs‎ 527 bytes +527‎ Created page with "'''Affine logic''' is a substructural logic whose proof theory rejects the structural rule of contraction. It can also be characterized as linear logic with weakening. The name "affine logic" is associated with linear logic, to which it differs by allowing the weakening rule. Jean-Yves Girard introduced the name as part of the geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transfor..."