Structural proof theory: 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 22:3122:31, 18 August 2024 TheRevisionary talk contribs 8,434 bytes +162 Source provision. undo Tags: Visual edit: Switched Newcomer task Newcomer task: expand

curprev 04:2704:27, 4 August 2024 Yuthoob talk contribs 8,272 bytes −8 Restored revision 1126316416 by Citation bot (talk): Rv because the words used in the previous version is more appropriate undo Tags: Twinkle Undo

curprev 22:5522:55, 2 August 2024 TheRevisionary talk contribs m 8,280 bytes +7 Grammar correction. undo Tags: Reverted Visual edit Newcomer task Newcomer task: expand

curprev 22:4622:46, 24 July 2024 TheRevisionary talk contribs 8,273 bytes +1 No edit summary undo Tags: Reverted Visual edit Newcomer task Newcomer task: expand

curprev 18:1118:11, 8 December 2022 Citation bot talk contribs 8,272 bytes +17 Add: s2cid. | Use this bot. Report bugs. | Suggested by BorgQueen | Category:Articles to be expanded from December 2009 | #UCB_Category 219/539 undo

curprev 00:5900:59, 5 December 2021 Citation bot talk contribs 8,255 bytes −124 Alter: url. URLs might have been anonymized. Add: jstor. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_webform 1226/2200 undo

curprev 14:4114:41, 26 October 2021 2a02:1812:110c:dc00:917f:7818:17b7:88c6 talk 8,379 bytes +32 No edit summary undo

curprev 21:0421:04, 17 December 2020 Tom.Reding talk contribs m 8,347 bytes +51 Enum 2 author/editor WLs; WP:GenFixes on undo Tag: AWB

curprev 19:2419:24, 11 December 2020 Monkbot talk contribs m 8,296 bytes −13 Task 18 (cosmetic): eval 5 templates: del empty params (2×); undo Tag: AWB

curprev 07:1207:12, 22 July 2020 Omnipaedista talk contribs 8,309 bytes +168 add citation undo

curprev 19:2519:25, 16 February 2020 2001:861:3ac0:4fa0:91ba:5d1d:88f9:25e4 talk 8,141 bytes +4 No edit summary undo

curprev 16:4516:45, 5 June 2019 Jarble talk contribs 8,137 bytes +292 adding links to references using Google Scholar undo

curprev 20:2120:21, 20 March 2019 Chalst talk contribs 7,845 bytes +411 →top: explain point of structural proof theory undo

curprev 10:3210:32, 3 March 2019 Purgy Purgatorio talk contribs 7,434 bytes −298 wrong kind of "logic" undo

curprev 17:1917:19, 19 February 2019 Citation bot talk contribs m 7,732 bytes −9 Alter: title, pages. Add: jstor, year, doi, chapter. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 05:5005:50, 28 January 2019 KolbertBot talk contribs m 7,741 bytes +1 Bot: HTTP→HTTPS (v485) undo

curprev 02:2402:24, 20 January 2019 Truth Alone talk contribs 7,740 bytes +306 Added a citation, and fields that study this theory. undo Tags: Visual edit Mobile edit Mobile web edit

curprev 15:0215:02, 11 July 2018 Rjwilmsi talk contribs 7,434 bytes +20 →Hypersequents: 10.2307/2273495 undo

curprev 02:1402:14, 1 March 2018 David Eppstein talk contribs 7,414 bytes +26 →References: Sara Negri undo

curprev 07:2107:21, 10 July 2017 Βασίλης talk contribs 7,388 bytes +8 →References undo

curprev 09:3609:36, 20 June 2017 Chalst talk contribs 7,380 bytes +157 →Nested sequent calculus: create section undo

curprev 22:4722:47, 19 June 2017 Michael Hardy talk contribs 7,223 bytes −1 No edit summary undo

curprev 13:1413:14, 18 June 2017 Blellmann talk contribs 7,224 bytes +24 No edit summary undo

curprev 21:1221:12, 19 May 2017 Blellmann talk contribs m 7,200 bytes +48 hypersequents: some links & typo undo Tag: Visual edit
curprev 21:0521:05, 19 May 2017 Blellmann talk contribs 7,152 bytes −9 hypersequents: fixed a link undo Tag: Visual edit

curprev 09:0209:02, 17 May 2017 Blellmann talk contribs 7,161 bytes +1,876 Added external structural rules and examples of rules for logics S5 and LC undo Tag: Visual edit

curprev 07:4907:49, 10 May 2017 Magioladitis talk contribs m 5,285 bytes +12 Add reflist etc. / more fixes using AWB (12151) undo

curprev 08:5008:50, 2 May 2017 Blellmann talk contribs 5,273 bytes +1,996 Added section on hypersequents undo Tag: Visual edit: Switched

curprev 12:3012:30, 8 February 2017 CBM talk contribs 3,277 bytes −14 c/e undo
curprev 02:1802:18, 8 February 2017 24.85.232.10 talk 3,291 bytes −2 →Analytic proof undo

curprev 13:4213:42, 11 July 2016 Alexey Muranov talk contribs m 3,293 bytes +4 →Structures and connectives: link "display logic" undo

curprev 04:5904:59, 12 May 2012 Helpful Pixie Bot talk contribs m 3,289 bytes +8 ISBNs (Build KH) undo

curprev 13:0913:09, 7 April 2011 Tijfo098 talk contribs 3,281 bytes +33 fixed undo
curprev 13:0713:07, 7 April 2011 Tijfo098 talk contribs 3,248 bytes +178 →References: something more introductory (the book covers only structural proof theory) undo
curprev 12:5812:58, 7 April 2011 Tijfo098 talk contribs 3,070 bytes +135 +book undo

curprev 18:1118:11, 20 March 2011 Huperniketes talk contribs m 2,935 bytes −4 Found another link to "display logic" which, again, just redirect back to this page. undo
curprev 18:0218:02, 20 March 2011 Huperniketes talk contribs m 2,939 bytes −23 Removed the link to "Display Logic" which now redirects to this article. undo

curprev 22:5522:55, 13 April 2010 WildBot talk contribs m 2,962 bytes +36 Repairing broken #section linkNatural deduction#normal form→Natural deduction#Consistency.2C completeness.2C and normal forms undo

curprev 10:2010:20, 17 December 2009 SmackBot talk contribs m 2,926 bytes +26 remove Erik9bot category,outdated, tag and general fixes undo

curprev 06:0206:02, 16 December 2009 SmackBot talk contribs m 2,900 bytes +95 Date maintenance tags and general fixes undo

curprev 14:3714:37, 30 October 2009 Vincent Aravantinos talk contribs m 2,805 bytes −10 typo undo

curprev 03:2303:23, 11 July 2009 Erik9bot talk contribs 2,815 bytes +49 add Category:Articles lacking sources (Erik9bot) undo

curprev 19:2619:26, 25 June 2009 Rich Farmbrough talk contribs 2,766 bytes −10 clean up, Replaced: Expand section|2}} → Expand section}} (5), using AWB undo
curprev 13:4613:46, 25 June 2009 Rich Farmbrough talk contribs 2,776 bytes +5 clean up, Replaced: sect-num-stub → Expand section (5), undo

curprev 18:3418:34, 3 May 2009 Chalst talk contribs 2,771 bytes +62 split analytic proof into new section, clarify undo

curprev 05:4605:46, 4 December 2008 Zero sharp talk contribs 2,709 bytes +2 →Structures and connectives: simplify language undo

curprev 10:3410:34, 18 November 2008 Waldyrious talk contribs 2,707 bytes +23 →Structures and connectives: link undo

curprev 12:1612:16, 12 May 2008 Hairy Dude talk contribs 2,684 bytes −65 {{main}} undo

curprev 22:5522:55, 21 March 2008 Edward talk contribs m 2,749 bytes +4 link logical connective undo

curprev 13:4613:46, 6 March 2006 Seggy talk contribs m 2,745 bytes +12 No edit summary undo

18 August 2024

4 August 2024

2 August 2024

24 July 2024

8 December 2022

5 December 2021

26 October 2021

17 December 2020

11 December 2020

22 July 2020

16 February 2020

5 June 2019

20 March 2019

3 March 2019

19 February 2019

28 January 2019

20 January 2019

11 July 2018

1 March 2018

10 July 2017

20 June 2017

19 June 2017

18 June 2017

19 May 2017

17 May 2017

10 May 2017

2 May 2017

8 February 2017

11 July 2016

12 May 2012

7 April 2011

20 March 2011

13 April 2010

17 December 2009

16 December 2009

30 October 2009

11 July 2009

25 June 2009

3 May 2009

4 December 2008

18 November 2008

12 May 2008

21 March 2008

6 March 2006