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)