← Latest products

State Algebra

new algebraic framework for logic, an alternative to BDD. Abstract page for arXiv paper 2509.10326: State Algebra for Propositional Logic. We decided it was time to properly lay out its foundations for classical propositional logic.

Library

Visit arxiv.orgexternal site

Reactions (1)

Similar products

by description similarity

  1. Vector-logic

    github.com

    a lightweight rules engine from first principles

    Hacker News8 pts

  2. AES-256 brute force using structured logic (UUIDs and xy = x/y rule)

    github.com

    I’ve been experimenting with structured logic as a way to frame search spaces — not in an academic way, just as a personal project.

    Hacker News11 pts

  3. SymDerive

    news.ycombinator.com

    A functional, stateless symbolic math library

    Hacker News26 pts

  4. Ramanujan

    github.com

    Multi-Model Agent for Research in Computational Maths

    Hacker News5 pts

  5. Term-Lisp

    github.com

    A Lisp, based on pattern matching and term rewriting

    Hacker News83 pts