Quantum Team Logic and Bell's inequalities.
Tapani HyttinenGianluca PaoliniJouko VäänänenPublished in: Rev. Symb. Log. (2015)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- sufficient conditions
- quantum computing
- modal logic
- classical logic
- logic programming
- sound and complete axiomatization
- quantum inspired
- linear inequalities
- predicate logic
- facet defining inequalities
- neural network
- robot soccer
- computational properties
- multi valued
- bayesian networks