Talk:Admissibility of cut

From The Twelf Project
Jump to: navigation, search

Questions on Sequent Calculus

If init works at any prop, why do you need the two judgements when you do the encoding?

If you give these two rules for and, is it right-asynch or left-asynch or both? And I thought making one connective both was bad. Drl 09:38, 26 October 2006 (EDT)

Sectioning looks off

Are the other "... cuts" supposed to be indented an additional level? Drl 17:45, 15 March 2007 (EDT)

  • Nope. I fixed it. Thanks for spotting it!  — Tom 7 18:38, 15 March 2007 (EDT)