Quantum Logic in Dagger Kernel Categories.
Chris HeunenBart JacobsPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- kernel function
- logic programming
- quantum computing
- classical logic
- feature space
- kernel machines
- modal logic
- kernel methods
- multi valued
- logical framework
- object categories
- quantum inspired
- support vector
- kernel learning
- component analysis
- automated reasoning
- set theory
- predicate logic
- asynchronous circuits
- proof theory
- broad categories
- probability ranking principle