Tuesday, September 25, 2012

Fall 2012

Peirce Logic is back for this fall semester! We are now a two person team of me(Bharath Santosh) and Dimitre Dimitrov. We are building an application to do propsitional logic proofs using a proof system known as existential graphs. More information on this system can be found in our first blog post. All of our system is written in javascript using RaphaelJS and jQuery.

Our initial goals are to finish up main interface for the logic system. This includes work on a menu system, a proof timeline, better interface controls, and a full logic back-end. After work on that is complete we will start shifting the project onto a full web app and setup a system to save proofs on an online database and setup small tutorials for doing these proofs.

No comments:

Post a Comment