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…