Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures.
Yoshihiro MaruyamaPublished in: QPL (2013)
Keyphrases
- formal theory
- quantum computation
- quantum computing
- logic circuits
- theoretical basis
- theoretical framework
- multi valued
- quantum mechanics
- deductive reasoning
- set theory
- probability theory
- causal reasoning
- probability ranking principle
- computer algebra
- commonsense reasoning
- general theory
- artificial intelligence
- logical framework
- complex structures
- logic synthesis
- modal logic
- proof theoretic
- logical theories
- information retrieval