Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
State Algebra for Probabilistic Logic
Dmitry Lesnik, Tobias Schäfer
This paper presents a Probabilistic State Algebra as an extension of deterministic propositional logic, providing a computational framework for constructing Markov Random Fields (M…
cs.AI2025
State Algebra for Propositional Logic
Dmitry Lesnik, Tobias Schäfer
This paper presents State Algebra, a novel framework designed to represent and manipulate propositional logic using algebraic methods. The framework is structured as a hierarchy of…