32 citations · 37 across the 4 of their papers we have counts for
1 paper · 2 filters
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…