Skip to main content
Philosophy

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

4
  • You may find this is a better match for the Mathematics stack exchange, because it is entirely contained in proof theory, a branch of mathematics, without calling on any philosophical argument. Hopefully they will not simply send you back here! Commented Apr 14, 2015 at 15:19
  • 2
    @CortAmmon Typically logic is considered entirely on topic here. Commented Apr 14, 2015 at 16:22
  • @jxhyc: An excellent book on this topic is "An Introduction to Non-Classical Logic" by G. Priest (ISBN-10 0521670268). Commented Apr 14, 2015 at 18:29
  • @ Moritz, thanks for the recommendation, I checked the book, it seem an interesting book. However, I doubt the question has something to do with non-classical logics Commented Apr 14, 2015 at 19:02