Bohrification of operator algebras and quantum logic.
Chris HeunenNicolaas P. LandsmanBas SpittersPublished in: Synth. (2012)
Keyphrases
- quantum computation
- logic circuits
- relation algebra
- logic synthesis
- modal operators
- boolean algebra
- quantum computing
- quantum inspired
- predicate logic
- logic programming
- modal logic
- computational properties
- sound and complete axiomatization
- quantum probability
- classical logic
- genetic algorithm
- deontic logic
- multi valued
- automated reasoning
- temporal logic
- relational databases
- multiscale
- distributive lattices
- database