Talk:Admissibility of cut
From The Twelf Project
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)