Talk:Sequent
From Wikipedia, the free encyclopedia
I propose merging this page into the sequent calculus page, and turning this page into a redirect to the latter. ---- Charles Stewart 17:33, 18 Aug 2004 (UTC)
[edit] Spelling Context
Note to self and any others who embark on search & correct missions to correct succede to succeed (the non-math-literate ones like myself, anyway) - succedent is in fact a real word and correctly spelled as such. Those naturally drawn to the subject matter of which this entry is a part no doubt already knew that - just a note for others. Longshot14 05:45, 2 March 2006 (UTC)
[edit] Wrong rule
Isn't the rule given in the "Rules" section upside down? It is certainly sound (tough not so useful, and atypic), but the other way round it would be the cut-rule, which is probably what was intended. Mattias Ulbrich 17:24, 15 February 2007 (UTC)
