The following pages link to Quantum logic is undecidable (Q2663337):
Displaying 8 items.
- Decidability in orthomodular lattices (Q861643) (← links)
- Measurement-based quantum computation and undecidable logic (Q930147) (← links)
- Tsirelson’s problem and an embedding theorem for groups arising from non-local games (Q5216992) (← links)
- Magic squares: Latin, semiclassical, and quantum (Q5886936) (← links)
- Generalized satisfiability problems via operator assignments (Q5919560) (← links)
- Quantum logic for observation of physical quantities (Q6550524) (← links)
- Many bounded versions of undecidable problems are \textsf{NP}-hard (Q6594491) (← links)
- A natural deduction system for orthomodular logic (Q6638239) (← links)
