Compositional Quantum Logic.
Bob CoeckeChris HeunenAleks KissingerPublished in: Computation, Logic, Games, and Quantum Foundations (2013)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- logic programming
- neural network
- quantum computing
- quantum mechanics
- defeasible logic
- modal logic
- natural deduction
- proof theory
- probabilistic logic
- multi valued
- predicate logic
- deontic logic
- asynchronous circuits
- data model
- multi agent
- bayesian networks
- quantum inspired
- databases
- probability ranking principle
- sound and complete axiomatization