User loginNavigation 
New simple proof systemI took basic logic and made it as familiar and easy to learn as possible. Proofs look just like proofs in elementary school algebraa series of steps where each step has a formula on the left and a justification on the right. Formulas are manipulated using rewrite rules (commutativity, etc.) rather than the typical deduction rules. This isn't any sort of limitation. It can implement both intuitionistic and classical logic using only rewrite rules (currently it uses intuitionistic). I wrote up the result as a sort of game. The first real proof is problem 8, which is just a few steps. Some of the later problems are ferociously difficult (but possible)no one I've shown it to has gotten close to solving them, so if anyone manages to solve problem 25, 35, 36, or 37, please let me know. https://sftm.schlussweisen.com It's completely free. By Edwin Zacharias at 20170813 12:25  LtU Forum  previous forum topic  next forum topic  other blogs  1914 reads

Browse archivesActive forum topicsNew forum topics 
Recent comments
3 days 7 hours ago
3 days 9 hours ago
3 days 13 hours ago
4 days 6 hours ago
4 days 16 hours ago
6 days 6 hours ago
6 days 9 hours ago
6 days 9 hours ago
6 days 14 hours ago
6 days 14 hours ago