← 최신 프로덕트

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.

라이브러리

arxiv.org 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Vector-logic

    github.com

    a lightweight rules engine from first principles

    Hacker News8점

  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점

  3. SymDerive

    news.ycombinator.com

    A functional, stateless symbolic math library

    Hacker News26점

  4. Ramanujan

    github.com

    Multi-Model Agent for Research in Computational Maths

    Hacker News5점

  5. Term-Lisp

    github.com

    A Lisp, based on pattern matching and term rewriting

    Hacker News83점