Skip to content
@OpenReasoning

OpenReasoning

Developing open source logic programs and frameworks

Popular repositories Loading

  1. forseti forseti Public

    A Formal Logic framework for python

    Python 4 5

  2. TruthTrees TruthTrees Public

    Generate a truth tree for a given argument

    Python 2 4

  3. TruthTables TruthTables Public

    Generate truth tables for logical formulas

    Python 1 1

  4. LogicalEquivalency LogicalEquivalency Public

    Checks two formulas for logical equivalency by converting them both to CDNF and then comparing

    Python 1 1

  5. parser.js parser.js Public

    A parser for logic written in various formats

    TypeScript 1

  6. ShortTruthTables ShortTruthTables Public

    Automated tool for solving short truth tables

    Python 1

Repositories

Showing 9 of 9 repositories
  • parser.js Public

    A parser for logic written in various formats

    OpenReasoning/parser.js’s past year of commit activity
    TypeScript 1 MIT 0 0 0 Updated May 12, 2021
  • predicate-types.js Public

    Types for the predicate calculus

    OpenReasoning/predicate-types.js’s past year of commit activity
    TypeScript 0 MIT 0 0 0 Updated May 12, 2021
  • LogicalEquivalency Public

    Checks two formulas for logical equivalency by converting them both to CDNF and then comparing

    OpenReasoning/LogicalEquivalency’s past year of commit activity
    Python 1 MIT 1 0 0 Updated Aug 15, 2020
  • TruthTables Public

    Generate truth tables for logical formulas

    OpenReasoning/TruthTables’s past year of commit activity
    Python 1 MIT 1 0 0 Updated Aug 15, 2020
  • OpenBoole Public

    An application for creating and viewing Truth Tables

    OpenReasoning/OpenBoole’s past year of commit activity
    0 0 0 0 Updated Apr 28, 2019
  • fol-types.js Public

    Types of First-Order Logic formula for JS

    OpenReasoning/fol-types.js’s past year of commit activity
    TypeScript 0 MIT 0 0 0 Updated Apr 28, 2019
  • forseti Public

    A Formal Logic framework for python

    OpenReasoning/forseti’s past year of commit activity
    Python 4 MIT 5 3 0 Updated Apr 26, 2018
  • ShortTruthTables Public

    Automated tool for solving short truth tables

    OpenReasoning/ShortTruthTables’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Jun 1, 2016
  • TruthTrees Public

    Generate a truth tree for a given argument

    OpenReasoning/TruthTrees’s past year of commit activity
    Python 2 MIT 4 0 0 Updated May 15, 2016

Top languages

Loading…

Most used topics

Loading…