Author of the publication

Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory.

. QPL, volume 394 of EPTCS, page 1-12. (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Orthomodular-Valued Models for quantum Set Theory.. Rev. Symb. Log., 10 (4): 782-807 (2017)Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory.. QPL, volume 394 of EPTCS, page 1-12. (2022)Existence of the Exact CNOT on a Quantum Computer with the Exchange Interaction., , , , , , and . Quantum Inf. Process., 4 (2): 65-85 (2005)Halting of Quantum Turing Machines.. UMC, volume 2509 of Lecture Notes in Computer Science, page 58-65. Springer, (2002)Scott Incomplete Boolean Ultrapowers of the Real Line.. J. Symb. Log., 60 (1): 160-171 (1995)Transfer principle in quantum set theory.. J. Symb. Log., 72 (2): 625-648 (2007)