= 27d567bc2d48d9f40e9ccc20ea370b15)
lackofcheese comments on Logics for Mind-Building Should Have Computational Meaning - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (28)
As far as the paywalled paper is concerned, it doesn't seem very difficult to find on the Internet; try here.
Several people have already found it for me, and I've also found a better account of the proof theory of classical logic.
I figured that would be the case (it was, after all, the top entry when Googling for it), but since you never changed your post to reflect this fact I decided it would be best to bring it up just in case.