Formal Logic Framework
Project description
#Forseti [](https://travis-ci.org/MasterOdin/Forseti) [](https://coveralls.io/r/MasterOdin/Forseti?branch=master) [](https://pypi.python.org/pypi/Forseti/) [](https://pypi.python.org/pypi/Forseti/) [](https://pypi.python.org/pypi/Forseti/) [](https://pypi.python.org/pypi/Forseti/)
A Formal Logic framework for a variety of applications.
##Usage Forseti comes with an internal representation of propositional calculus formulas (atomic, not, and, or, implication, and equivalance). It can generate this from a functional representation of any formula. Interally, it holds everything as a “Predicate” object, which can take in other Predicates as appropriate (Atomics can only hold one string).
An example: `python from forseti import parser from forseti.predicate import Atomic, And assert parser.parse(and(a, b)) == And(Atomic('a'), Atomic('b')) `
##Goals: Using Forseti to implement the following programs/applications
1. Automated Theorem Prover (done in Forseti core) 1. [Implement Davis-Putnam Algorithm](http://en.wikipedia.org/wiki/Davis%E2%80%93Putnam_algorithm) 1. [Truth Trees](http://legacy.earlham.edu/~peters/courses/log/treeprop.htm) 1. [Slate](http://rair.cogsci.rpi.edu/projects/slate/)/[Fitch](http://en.wikipedia.org/wiki/Fitch-style_calculus)
](https://travis-ci.org/MasterOdin/Forseti){kind=link}
](https://coveralls.io/r/MasterOdin/Forseti){kind=link}
](https://pypi.python.org/pypi/Forseti/){kind=link}
](https://pypi.python.org/pypi/Forseti/){kind=link}
](https://pypi.python.org/pypi/Forseti/){kind=link}
](https://pypi.python.org/pypi/Forseti/){kind=link}