Keyword:quantum logic

Papers
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 no. 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