bram-hub Goto Github PK

ait

An Axiom independence checker using a graphical user interface in python

ams

Abacus Machine Simulator (Originally known as Your Abacus Machine Simulator)

argument-diagram

Argument diagram tool built using joint.js

argument-diagram-maker

An interface to assist in creating argument diagrams

aris

Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.

aris-java

Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.

axiom

An axiom independence checker using a command line interface in python

baicse

Best Axiom Independence Checker System Ever

booleanrewrite

Tool for converting propositional logic functions to CDNF, showing each step with justification.

bram-file-format

An XML based file format for use in Bramhub software projects

bris

cpp-nd-apg

A Natural Deduction Automated Proof Generator in c++

cpp-tt-apg

An Automated Proof Generator for Truth Trees in c++

csharp-tt-apg

An Automated Proof Generator for Truth Trees in c#

davis-putnam-verification

An automated theorem prover for Natural Deduction proofs using the Davis Putnam algorithm in java

dp-visuals

An automated theorem prover for Natural Deduction proofs using the Davis Putnam algorithm without first converting to CNF

dpbasic

An automated theorem prover for truth trees using the Davis Putnam algorithm

dpsolvers

Compares the speeds of multiple different types of Davis Putnam ATP implementations

dptrees

Draw trees using Davis-Putnam Algorithm

eg-apg

Generates Existential Graph Proofs from set of premises to a goal.

eg-proof-player

Visually displays a video of a proof in the existential graph system

egdp-solver

An automated theorem prover for existential graphs using the Davis Putnam algorithm in C++

egg

A program to manipulate existential graphs

egml

An interface for creating logical proofs using Existential Graphs using python

equivalence-rewriter

Translates logical statements into more complex versions for use in creating complex problem sets

existential-graph-editor

Web-based EG editor.

existential-graphs

existgraph

An automated theorem prover for existential graphs in java

fitch-to-slate

Converts natural deduction proofs between Fitch and Slate

forseti

A Formal Logic framework for python