Keyword:quantum logic

Publications
Gödel Mathematics Versus Hilbert Mathematics. II Logicism and Hilbert Mathematics, the Identification of Logic and Set Theory, and Gödel’s “Completeness Paper” (1930) Vasil Penchev EasyChair Preprint 9551
The computing power of Turing machine based on quantum logic Yun Shang, Xian Lu and Ruqian Lu In:Turing-100. The Alan Turing Centenary