Timeline for How establish conversion of cut-free proof into uniform proof?

Current License: CC BY-SA 3.0

15 events

when toggle format	what		by	license	comment
Oct 31, 2011 at 16:26	comment	added	Ali Lahijani		Now I am studying your paper and its Twelf companion. It seems interesting. Thanks for the link.
Oct 30, 2011 at 15:54	comment	added	Rob Simmons		Beautiful question! Yes, you need to generalize the identity expansion property in an interesting and non-obvious way to handle positive propositions. Luckily, I have a paper on arXiv that describes how, which I plan to submit to a journal after a bit more revision: arxiv.org/abs/1109.6273
Oct 30, 2011 at 10:43	comment	added	Ali Lahijani		@Rob: Will Theorem 4 (Identity expansion) still hold if A is of positive polarity? Or do we need to state another version if positive propositions are added to the language?
May 26, 2011 at 3:03	history	edited	Rob Simmons	CC BY-SA 3.0	The word "boost" there was basically useless.
May 25, 2011 at 17:09	history	edited	Rob Simmons	CC BY-SA 3.0	no reason not to tidy up once it's gone community wiki
May 25, 2011 at 16:43	history	edited	Rob Simmons	CC BY-SA 3.0	put the alpha subscript in the right place(s)
May 25, 2011 at 16:23	history	edited	Rob Simmons	CC BY-SA 3.0	tidy up \supset R - didn't have a superscript alpha in the unfocused calculus; Post Made Community Wiki
May 25, 2011 at 16:18	history	edited	Rob Simmons	CC BY-SA 3.0	expand on proof of Theorem 2
May 25, 2011 at 15:01	history	edited	Rob Simmons	CC BY-SA 3.0	links for everybody
May 25, 2011 at 14:56	history	edited	Rob Simmons	CC BY-SA 3.0	minor typo
May 25, 2011 at 14:26	history	edited	Rob Simmons	CC BY-SA 3.0	tiny typo
May 25, 2011 at 14:07	history	edited	Rob Simmons	CC BY-SA 3.0	fix some typos, respond to a comment
May 25, 2011 at 13:21	history	edited	Rob Simmons	CC BY-SA 3.0	partial revision
May 24, 2011 at 15:27	history	edited	Rob Simmons	CC BY-SA 3.0	explain A, B, P notation.
May 24, 2011 at 14:32	history	answered	Rob Simmons	CC BY-SA 3.0