Quantum logic is undecidable

T. A. Fritz

Type: Article

Publication Date: 2020-09-11

Citations: 8

DOI: https://doi.org/10.1007/s00153-020-00749-0

View Publication

Download PDF

Locations

Archive for Mathematical Logic - View
arXiv (Cornell University) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	Quantum Logic: Is It Necessarily Orthocomplemented?	1976	Bogdan Mielnik
+	Measurement-Based Quantum Computation and Undecidable Logic	2008	Maarten Van den Nest Hans J. Briegel
+	Logical independence in quantum logic	1995	Miklós Rédei
+ PDF Chat	Quantum logic and quantum computation	2007	Mladen Pavičić Norman D. Megill
+ PDF Chat	Quantum Logic and Quantum Reconstruction	2015	Allen Stairs
+ PDF Chat	Compositional Quantum Logic	2013	Bob Coecke Chris Heunen Aleks Kissinger
+ PDF Chat	Weakly Intuitionistic Quantum Logic	2012	Rosella Hermens
+ PDF Chat	Why the Disjunction in Quantum Logic is Not Classical	2000	Diederik Aerts
+ PDF Chat	Dynamic Quantum Logic for Quantum Programs	2004	Olivier Brunet Philippe Jorrand
+ PDF Chat	Quantum Logics that are Symmetric-difference-closed	2021	Dominika Burešová Pavel Pták
+	Quantum Logic	2001	Chiara Marraccini Roberto Giuntini
+	Quantum Logic	2001	Chiara Marraccini Roberto Giuntini
+ PDF Chat	Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs	2023	Yuan Feng Sanjiang Li
+ PDF Chat	Verification of quantum programs	2024	Mingsheng Ying
+	Verification of quantum programs	2013	Mingsheng Ying Nengkun Yu Yuan Feng Runyao Duan
+	Quantum logic as motivated by quantum computing	2004	J. Michael Dunn Tobias Hagge Lawrence S. Moss Zhenghan Wang
+ PDF Chat	Convex Quantum Logic	2011	Federico Holik César Massri Nicolás Ciancaglini
+	Regular States and Countable Additivity on Quantum Logics	1992	Anatolij Dvurečenskij Tibor Neubrunn Sylvia Pulmannová
+ PDF Chat	Classical Logic, Classical Probability, and Quantum Mechanics	2020	Samson Abramsky
+ PDF Chat	Quantum Physics and Classical Physics—In the Light of Quantum Logic	2005	Peter Mittelstaedt

Works That Cite This (8)

Action	Title	Year	Authors
+ PDF Chat	Exclusivity principle and unphysicality of the Garg-Mermin correlation	2018	S. Aravinda Amit Mukherjee Manik Banik
+	Generalized satisfiability problems via operator assignments	2019	Albert Atserias Phokion G. Kolaitis Simone Severini
+ PDF Chat	A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC	2023	Andre Kornell
+	Curious properties of free hypergraph C*-algebras	2018	T. A. Fritz
+	Generalized Satisfiability Problems via Operator Assignments	2017	Albert Atserias Phokion G. Kolaitis Simone Severini
+ PDF Chat	Logical Aspects of Quantum Structures	2022	John Harding Z. Wang
+ PDF Chat	Curious properties of free hypergraph C∗-algebras	2020	T. A. Fritz
+	Tsirelson’s problem and an embedding theorem for groups arising from non-local games	2019	William Slofstra

Works Cited by This (22)

Action	Title	Year	Authors
+ PDF Chat	Efficient algorithm for a quantum analogue of 2-SAT	2011	Sergey Bravyi
+	C-Algebras and Their Automorphism Groups	1979	Gert Kjærgård Pedersen
+ PDF Chat	Characterization of Binary Constraint System Games	2014	Richard Cleve Rajat Mittal
+	Characterization of hilbert spaces by orthomodular spaces	1995	Martí Prats Soler
+	On the equational theory of projection lattices of finite von neumann factors	2010	Christian Herrmann
+ PDF Chat	On characterizing the standard quantum logics	1977	W. John Wilbur
+ PDF Chat	Can you compute the operator norm?	2014	T. A. Fritz Tim Netzer Andreas Thom
+ PDF Chat	Computational Complexity of Quantum Satisfiability	2016	Christian Herrmann Martin Ziegler
+ PDF Chat	Perfect commuting-operator strategies for linear system games	2017	Richard Cleve Li Liu William Slofstra
+ PDF Chat	Erratum to “Specker’s parable of the over-protective seer: A road to contextuality, nonlocality and complementarity” [Phys. Rep. 506 (2011) 1–39]	2016	Yeong-Cherng Liang Robert W. Spekkens Howard M. Wiseman