Topos Quantum Logic and Mixed States.
Andreas DöringPublished in: Electron. Notes Theor. Comput. Sci. (2011)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- modal logic
- logic programming
- multi valued
- quantum computing
- automated reasoning
- classical logic
- predicate logic
- asynchronous circuits
- digital circuits
- artificial neural networks
- quantum mechanics
- nonmonotonic logics
- proof theory
- delay insensitive
- defeasible logic
- computational properties
- quantum inspired
- propositional dynamic logic
- state variables
- sound and complete axiomatization