Showing 1-20 of 39 packages
Propositional logic symbolic computation library
combine predicate (bool returning) functions with propositional logic connectives (and, or, not)
Propositional proof system
Propositional Satisfiability Checker
A resolution-based propositional logic tool
A resolution-based propositional logic tool
Propositional Logic Problem Generator
jsrules is a rule engine that models formal propositional logic. It allows you to separate conditional logic from source code and database triggers in a reusable package, where explicit rules can be independently defined and managed.
A TypeScript library for parsing and evaluating propositional logic formulas
Propositional Logic
An interpreter of well-formed formulas in propositional calculus.
A JavaScript library for validating Fitch-style natural deduction proofs
A library for determining the validity of arguments in propositional logic.
A propositional logic library written in Typescript
A parser class for simple formulae.
Browser-based Sentential Logic Calculator
Library for representing and evaluating symbolic logic formulas.
Boolean data type has two possible truth values to represent logic.
WFF Parser for propositional logic
Embeddable Fitch-style proof editor Web Components