A categorical quantum logic.
Samson AbramskyRoss DuncanPublished in: Math. Struct. Comput. Sci. (2006)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- modal logic
- automated reasoning
- multi valued
- quantum computing
- categorical data
- artificial neural networks
- classical logic
- quantum inspired
- predicate logic
- deontic logic
- nonmonotonic logics
- sound and complete axiomatization
- channel capacity
- decision trees
- power consumption
- expert systems