Skip to content

@OpenReasoning OpenReasoning

Change the repository type filter

All

    Repositories list

    9 repositories

    • parser.js

      Public
      A parser for logic written in various formats
      TypeScript
      •
      MIT License
      •0•1•0•0•Updated May 12, 2021May 12, 2021

    • predicate-types.js

      Public
      Types for the predicate calculus
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated May 12, 2021May 12, 2021

    • LogicalEquivalency

      Public
      Checks two formulas for logical equivalency by converting them both to CDNF and then comparing
      Python
      •
      MIT License
      •1•1•0•0•Updated Aug 15, 2020Aug 15, 2020

    • TruthTables

      Public
      Generate truth tables for logical formulas
      Python
      •
      MIT License
      •1•1•0•0•Updated Aug 15, 2020Aug 15, 2020

    • OpenBoole

      Public
      An application for creating and viewing Truth Tables
      0•0•0•0•Updated Apr 28, 2019Apr 28, 2019

    • fol-types.js

      Public
      Types of First-Order Logic formula for JS
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Apr 28, 2019Apr 28, 2019

    • forseti

      Public
      A Formal Logic framework for python
      Python
      •
      MIT License
      •5•4•3•0•Updated Apr 26, 2018Apr 26, 2018

    • ShortTruthTables

      Public
      Automated tool for solving short truth tables
      Python
      •
      MIT License
      •1•0•0•0•Updated Jun 1, 2016Jun 1, 2016

    • TruthTrees

      Public
      Generate a truth tree for a given argument
      Python
      •
      MIT License
      •4•2•0•0•Updated May 15, 2016May 15, 2016