State Algebra for Propositional Logic — mentioned by dmitry_stratyfy

Tue, 11 Nov 2025 14:04:50 GMT

Hi HN, I'm one of the creators. I've been tackling the problem of managing complex business rules for years (especially in fintech), and wanted a lightweight, Python-native tool that was built on a solid theoretical foundation. We built vector-logic (it's on PyPI) and wrote a hands-on guide for Towards Data Science: https://towardsdatascience.com/building-a-rules-engine-from-... The whole framework is based on a theory we call 'State Algebra,' which we co-authored for arXiv: https://arxiv.org/abs/2509.10326 Happy to answer any questions!

Paper and discussion history. A mention is not an endorsement.

State Algebra for Propositional Logic — HN submission

Mon, 15 Sep 2025 12:14:08 GMT

Show HN: State Algebra, new algebraic framework for logic, an alternative to BDD

Hey HN, My co-author and I just published a paper on arXiv that formalises a framework we've been using successfully in probabilistic logic for many years. We decided it was time to properly lay out its foundations for classical propositional logic. We cast propositional logic into a formal algebra where logical formulas are represented by sparse matrices. State Algebra isn't an algorithm in itself, but rather a language for manipulating Boolean functions. It provides a new set of tools that lets you express and reformulate existing optimization heuristics (like those from modern SAT solvers)…

5 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

State Algebra for Propositional Logic · HackerPapers discussions

State Algebra for Propositional Logic — mentioned by dmitry_stratyfy

State Algebra for Propositional Logic — HN submission