Timeline for soundness and completeness of a proof method
Current License: CC BY-SA 3.0
Post Revisions
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 14, 2015 at 20:15 | vote | accept | jxhyc | ||
| Apr 14, 2015 at 19:02 | comment | added | jxhyc | @ 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 | |
| Apr 14, 2015 at 18:29 | comment | added | Moritz | @jxhyc: An excellent book on this topic is "An Introduction to Non-Classical Logic" by G. Priest (ISBN-10 0521670268). | |
| Apr 14, 2015 at 17:04 | answer | added | Chris Sunami | timeline score: 1 | |
| Apr 14, 2015 at 16:22 | comment | added | Chris Sunami | @CortAmmon Typically logic is considered entirely on topic here. | |
| Apr 14, 2015 at 15:19 | comment | added | Cort Ammon | 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! | |
| Apr 14, 2015 at 14:19 | review | First posts | |||
| Apr 14, 2015 at 14:30 | |||||
| Apr 14, 2015 at 14:15 | history | asked | jxhyc | CC BY-SA 3.0 |