Sequent: Revision history

3 October 2023

• curprev 13:4213:42, 3 October 2023‎ Andy02124 talk contribs‎ m 21,478 bytes 0‎ sfn fix (date) undo

12 November 2022

• curprev 10:5410:54, 12 November 2022‎ Citation bot talk contribs‎ 21,478 bytes +34‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 2107/2165 undo

1 June 2022

• curprev 20:3420:34, 1 June 2022‎ SpiralSource talk contribs‎ 21,444 bytes +74‎ No edit summary undo Tags: Mobile edit Mobile app edit Android app edit

24 May 2021

• curprev 08:1808:18, 24 May 2021‎ Citation bot talk contribs‎ 21,370 bytes +8‎ Alter: volume. Add: issue. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 436/570 undo

23 March 2021

• curprev 11:4411:44, 23 March 2021‎ Ancheta Wis talk contribs‎ 21,362 bytes +117‎ Undid revision 1013775206 by 90.115.34.175 (talk) Judgements were restored undo Tag: Undo
• curprev 11:3811:38, 23 March 2021‎ 90.115.34.175 talk‎ 21,245 bytes −117‎ No edit summary undo Tag: Reverted

8 December 2020

• curprev 21:1721:17, 8 December 2020‎ Monkbot talk contribs‎ m 21,362 bytes −138‎ Task 18 (cosmetic): eval 14 templates: del empty params (2×); hyphenate params (10×); del |ref=harv (14×); undo Tag: AWB

28 August 2019

• curprev 22:3922:39, 28 August 2019‎ 92.109.101.64 talk‎ 21,500 bytes +10‎ →‎Examples undo Tags: Mobile edit Mobile web edit

6 July 2018

• curprev 09:1109:11, 6 July 2018‎ 101.110.37.162 talk‎ 21,490 bytes +16‎ →‎History of the meaning of sequent assertions undo

27 September 2017

• curprev 06:2506:25, 27 September 2017‎ Me, Myself, and I are Here talk contribs‎ m 21,474 bytes 0‎ →‎See also: alpha undo

10 December 2016

• curprev 23:5923:59, 10 December 2016‎ Alejandrocaro35 talk contribs‎ 21,474 bytes +3‎ →‎Rules undo
• curprev 23:0223:02, 10 December 2016‎ Alejandrocaro35 talk contribs‎ 21,471 bytes −1‎ →‎Syntax details undo

29 September 2016

• curprev 01:4401:44, 29 September 2016‎ Gorthian talk contribs‎ m 21,472 bytes +23‎ Disambiguated: Glivenko's theorem → Glivenko's translation undo Tag: Dispenser [2.4]

17 August 2016

• curprev 19:3919:39, 17 August 2016‎ Flosfa talk contribs‎ 21,449 bytes +65‎ →‎History of the meaning of sequent assertions: clarify use of symbols undo

13 August 2016

• curprev 22:1922:19, 13 August 2016‎ Quiddital talk contribs‎ m 21,384 bytes −6‎ →‎The form and semantics of sequents undo Tag: Visual edit

15 June 2015

• curprev 10:0110:01, 15 June 2015‎ Rjwilmsi talk contribs‎ 21,390 bytes −4‎ →‎References: fix undo
• curprev 10:0110:01, 15 June 2015‎ Rjwilmsi talk contribs‎ 21,394 bytes +50‎ →‎References: doi=10.1007/bf01201363 undo

7 July 2014

• curprev 13:5613:56, 7 July 2014‎ Alan U. Kennington talk contribs‎ 21,344 bytes +246‎ Added another convenient reference for the disjunctive semantics of the right side of a sequent. undo
• curprev 13:1213:12, 7 July 2014‎ Alan U. Kennington talk contribs‎ 21,098 bytes +888‎ Added the Prawitz interpretation of the assertion symbol as simultaneously an object-language symbol and a deducibility meta-symbol. undo

30 June 2014

• curprev 17:0117:01, 30 June 2014‎ Alan U. Kennington talk contribs‎ 20,210 bytes +2‎ Swapped two subsections of the section on interpretation so that the (better-referenced) history comes first. undo

28 June 2014

• curprev 04:2204:22, 28 June 2014‎ Alan U. Kennington talk contribs‎ 20,208 bytes +114‎ Added mathematical formula at the top of the article to make the constant instantly clear from the beginning. undo

27 June 2014

• curprev 17:5117:51, 27 June 2014‎ Alan U. Kennington talk contribs‎ m 20,094 bytes +4‎ Fixed a typo and improved the punctuation a bit. undo
• curprev 16:3116:31, 27 June 2014‎ Alan U. Kennington talk contribs‎ 20,090 bytes +945‎ Added a much more recent reference for the modern meaning of the assertion symbol in sequents. undo
• curprev 13:0113:01, 27 June 2014‎ Alan U. Kennington talk contribs‎ 19,145 bytes +245‎ Added note that Smullyan defines sequents with proposition-sets instead of proposition-sequences. undo
• curprev 07:3207:32, 27 June 2014‎ Yobot talk contribs‎ m 18,900 bytes −46‎ WP:CHECKWIKI error fixes using AWB (10269) undo

26 June 2014

• curprev 08:5708:57, 26 June 2014‎ Alan U. Kennington talk contribs‎ 18,946 bytes −388‎ →‎Interpretation: Two inline "citation needed" tags can be removed because the provability issue is now addressed. The rest of the section still requires citations. undo
• curprev 06:4706:47, 26 June 2014‎ Alan U. Kennington talk contribs‎ 19,334 bytes 0‎ Fixed typo in year in reference to book by Curry. undo
• curprev 06:4506:45, 26 June 2014‎ Alan U. Kennington talk contribs‎ m 19,334 bytes 0‎ →‎References: Fixed typo in bibliography item. undo
• curprev 06:4106:41, 26 June 2014‎ Alan U. Kennington talk contribs‎ 19,334 bytes +7‎ Recycled a footnote. Waste not, want not. undo
• curprev 06:3606:36, 26 June 2014‎ Alan U. Kennington talk contribs‎ 19,327 bytes +10‎ →‎History of the meaning of sequent assertions: Fixed minor grammar error. undo
• curprev 06:3006:30, 26 June 2014‎ Alan U. Kennington talk contribs‎ 19,317 bytes +2,881‎ Added a history of the meaning of the assertion symbol in sequents. undo

25 June 2014

• curprev 17:5717:57, 25 June 2014‎ Alan U. Kennington talk contribs‎ 16,436 bytes +322‎ Added another reference to a book which gives the single-consequent definition for a sequent. undo

23 June 2014

• curprev 14:4314:43, 23 June 2014‎ Alan U. Kennington talk contribs‎ 16,114 bytes +38‎ The section on variations of the sequent concept has inadequate references also. undo
• curprev 14:3514:35, 23 June 2014‎ Alan U. Kennington talk contribs‎ 16,076 bytes +101‎ →‎Interpretation: It's really the whole section which needs references, not just two sentences. The original author says he doesn't have info on the history etc. undo
• curprev 08:1008:10, 23 June 2014‎ Alan U. Kennington talk contribs‎ 15,975 bytes +388‎ Since the statements that sequents signify provability assertions are explicitly contradicted by Gentzen and Church, citations are required here. See Talk page. undo
• curprev 07:4807:48, 23 June 2014‎ Alan U. Kennington talk contribs‎ 15,587 bytes −1‎ Moved the "Examples" subsection to the "introduction" section. It flows better from previous text in that location. undo
• curprev 06:5306:53, 23 June 2014‎ Ancheta Wis talk contribs‎ 15,588 bytes +42‎ →‎Syntax details: add elided 'left and right' phrase for consistency undo
• curprev 06:3406:34, 23 June 2014‎ Alan U. Kennington talk contribs‎ 15,546 bytes +26‎ →‎Syntax details: Clarified the sentence explaining the sequent order and duplication rules. undo

22 June 2014

• curprev 11:0111:01, 22 June 2014‎ Alan U. Kennington talk contribs‎ 15,520 bytes +698‎ Added comment on the relation between sequents and natural deduction. undo

18 June 2014

• curprev 12:2012:20, 18 June 2014‎ Alan U. Kennington talk contribs‎ 14,822 bytes −155‎ →‎Introduction: Removed duplicate statement that the turnstile signifies provability. See below. undo
• curprev 11:2811:28, 18 June 2014‎ Alan U. Kennington talk contribs‎ 14,977 bytes +51‎ →‎Introduction: Added clarification of the explanation that formulas may appear multiple times, and order matters. undo
• curprev 08:4308:43, 18 June 2014‎ Alan U. Kennington talk contribs‎ 14,926 bytes +6‎ →‎The form and semantics of sequents: Improved the consistency of terminology. The word "succedent" originates with Hertz in 1929. It isn't good English! undo
• curprev 08:3108:31, 18 June 2014‎ Alan U. Kennington talk contribs‎ 14,920 bytes +981‎ →‎Interpretation: Added an example for abundant clarity regarding the difference between "true" and "tautology" in sequents. undo

17 June 2014

• curprev 12:2612:26, 17 June 2014‎ Alan U. Kennington talk contribs‎ 13,939 bytes +28‎ Removed superfluous cross-references for "inference rule". Improved the prose a little. undo
• curprev 11:5211:52, 17 June 2014‎ Alan U. Kennington talk contribs‎ 13,911 bytes −37‎ The technical condition "non-negative finite" is distracting and irrelevant in the first paragraph of the article. undo
• curprev 07:0907:09, 17 June 2014‎ Alan U. Kennington talk contribs‎ 13,948 bytes +201‎ →‎The form and semantics of sequents: Added a few more words for abundant clarification. undo
• curprev 04:3804:38, 17 June 2014‎ Ancheta Wis talk contribs‎ 13,747 bytes +79‎ →‎Consequences of empty lists of formulas: link to ⊤ , link to rule requiring a nonempty domain undo

16 June 2014

• curprev 16:1516:15, 16 June 2014‎ Alan U. Kennington talk contribs‎ 13,668 bytes +461‎ Added comment on the amusing, but important, extreme case of double empty proposition lists. undo
• curprev 14:3114:31, 16 June 2014‎ Alan U. Kennington talk contribs‎ 13,207 bytes +4‎ →‎The form and semantics of sequents: Maybe the date 1934 doesn't need to be stated twice in the same sentence! undo
• curprev 14:2714:27, 16 June 2014‎ Alan U. Kennington talk contribs‎ 13,203 bytes −85‎ →‎Intuitive meaning: The old footnote to give authority for the disjunctive right-side semantics is now superseded by more comprehensive references nearer the top of the page. undo