Skip to main content

Formal Logic Framework

Project description

Build Status Coverage Status Code Health

A Formal Logic framework for a variety of applications.

Installation

From PyPI

forseti is available on PyPI.

$ pip install forseti

From source

  • Download the source code:

$ git clone git@github.com:MasterOdin/forseti.git
$ python setup.py install

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 formula objects, which can take in other formulas as appropriate (Symbols can only hold one string).

An example:

from forseti import parser
from forseti.predicate import Atomic, And
assert parser.parse("and(a, b)") == And(Atomic('a'), Atomic('b'))

Additionally, it also comes with a builtin prover that can validate a propositional calculus argument

from forseti.prover import Prover
prover = Prover()
prover.add_formula("if(A,and(B,C))")
prover.add_formula("iff(C,B)")
prover.add_formula("not(C)")
prover.add_goal("not(A)")
assert_true(prover.run_prover())

Roadmap

  1. First Order Logic Prover

  2. Optimizations

Usages

These projects use forseti at their core:

  1. Truth Tables

Goals

Using forseti to implement the following programs/applications

  1. Automated Theorem Prover (done in forseti core)

  2. Implement Davis-Putnam Algorithm

  3. Truth Trees

  4. Slate / Fitch

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

forseti-0.8.1.tar.gz (10.4 kB view details)

Uploaded Source

File details

Details for the file forseti-0.8.1.tar.gz.

File metadata

  • Download URL: forseti-0.8.1.tar.gz
  • Upload date:
  • Size: 10.4 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for forseti-0.8.1.tar.gz
Algorithm Hash digest
SHA256 ce8f59329adf36b86ac9efff4fbc5ce2cc406e22d35bcb9b5fc33bc236735eab
MD5 8bd15afe9c2b04e647929aa4d4a15d25
BLAKE2b-256 b8ad686d5420e0a799a4ffae63a63a76df31a5b605984ceaab8a91656ef8c24a

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page