tag:blogger.com,1999:blog-827419514217130218.post3284389650562688481..comments2023-12-11T04:47:19.677-05:00Comments on Request for Logic: Notes on classical sequent calculi (1/2)Robhttp://www.blogger.com/profile/05106663398227635415noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-827419514217130218.post-84777914859256006532011-12-18T19:37:57.949-05:002011-12-18T19:37:57.949-05:00Thanks, Rowan! I was getting a little sloppy by th...Thanks, Rowan! I was getting a little sloppy by that point, I guess :-P. Should be fixed now.Robhttps://www.blogger.com/profile/05106663398227635415noreply@blogger.comtag:blogger.com,1999:blog-827419514217130218.post-33369082471057167532011-12-18T19:32:37.019-05:002011-12-18T19:32:37.019-05:00There's some typos in the line of rules for de...There's some typos in the line of rules for deriving absurdity of conjunction and disjunction: all the connectives should be negative, the first rule's premise should be absurd and the connective in the second rule should be a conjunction.Anonymoushttps://www.blogger.com/profile/02888491281001274822noreply@blogger.com