chop-logic-core

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

v1.3.2 URL: https://unpkg.com/chop-logic-core@1.3.2/lib/index.cjs

Open Browse Files

chop-logic logic propositional-logic proof-system typescript formal-logic hilbert natural-deduction

tfl-js

A TypeScript library for parsing and evaluating propositional logic formulas

v0.5.0 URL: https://unpkg.com/tfl-js@0.5.0/dist/cjs/index.js

Open Browse Files

logic propositional-logic truth-tables parser evaluator typescript

propositional

Propositional logic symbolic computation library

v1.0.2 URL: https://unpkg.com/propositional@1.0.2/lib/index.js

Open Browse Files

logic propositional-logic parser formulas

fregejs

A propositional logic library written in Typescript

v0.4.0 URL: https://unpkg.com/fregejs@0.4.0/dist/index.js

Open Browse Files

logic propositional-logic proof-assistant logic-client