Axiomitization of Boundary Logic

This axiomitization of boundary logic has been extensively tested and applied to computer science problems over the last two decades, including theorem proving and satisfiability [5], minimization of software and knowledge-bases, parallel processing [6], visual languages [7], and logic synthesis of the over 200 small and large semiconductor designs included in the ISCAS'89 benchmarks. See the boundary mathematics section of www.wbricken.com. page