OpenReasoning

Developing open source logic programs and frameworks

Pinned Repositories

fol-types.js
Types of First-Order Logic formula for JS
Language:TypeScript0 2 00
forseti
A Formal Logic framework for python
Language:Python4 2 85
LogicalEquivalency
Checks two formulas for logical equivalency by converting them both to CDNF and then comparing
Language:Python11
OpenBoole
An application for creating and viewing Truth Tables
0 2 00
parser.js
A parser for logic written in various formats
Language:TypeScript1 2 00
predicate-types.js
Types for the predicate calculus
Language:TypeScript0 2 00
ShortTruthTables
Automated tool for solving short truth tables
Language:Python0 2 01
TruthTables
Generate truth tables for logical formulas
Language:Python1 2 01
TruthTrees
Generate a truth tree for a given argument
Language:Python2 2 04

OpenReasoning/forseti
A Formal Logic framework for python
Language:Python4 2 85
OpenReasoning/TruthTrees
Generate a truth tree for a given argument
Language:Python2 2 04
OpenReasoning/LogicalEquivalency
Checks two formulas for logical equivalency by converting them both to CDNF and then comparing
Language:Python11
OpenReasoning/parser.js
A parser for logic written in various formats
Language:TypeScript1 2 00
OpenReasoning/TruthTables
Generate truth tables for logical formulas
Language:Python1 2 01
OpenReasoning/fol-types.js
Types of First-Order Logic formula for JS
Language:TypeScript0 2 00
OpenReasoning/OpenBoole
An application for creating and viewing Truth Tables
0 2 00
OpenReasoning/predicate-types.js
Types for the predicate calculus
Language:TypeScript0 2 00
OpenReasoning/ShortTruthTables
Automated tool for solving short truth tables
Language:Python0 2 01