Propositional logic symbolic computation library

Core engine for building and manipulating propositional logic arguments.

combine predicate (bool returning) functions with propositional logic connectives (and, or, not)

Propositional Satisfiability Checker

Propositional proof system

Propositional Logic Problem Generator

A resolution-based propositional logic tool

WFF Parser for propositional logic

Propositional Logic

A propositional logic library written in Typescript

The deterministic verifier core for Entailer: Formula AST, IR, propositional tableau + DPLL, classification, and the LogicReport schema. Zero LLM/solver dependencies — the trusted kernel.

Propositional logic expressions validator and parser.

A TypeScript library for parsing and evaluating propositional logic formulas

An interpreter of well-formed formulas in propositional calculus.

A library for determining the validity of arguments in propositional logic.

Minimal package for generating propositional logic proofs

A resolution-based propositional logic tool

A powerful TypeScript library for generating and validating propositional logic truth tables. Inspired by Carnap's truth table implementation, this library provides a flexible API for creating, manipulating, and validating truth tables for propositional l

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.

CLI for okay-prove propositional logic proof generator package