A state vector algebra for algorithmic implementation of second-order logic

Dmitry Lesnik, Tobias Schaefer

We present a mathematical framework for mapping second-order logic relations onto a simple state vector algebra. Using this algebra, basic theorems of set theory can be proven in a…