Virtual Logic-The Logic of Quantum Theory.
Louis H. KauffmanPublished in: Cybern. Hum. Knowing (2017)
Keyphrases
- formal theory
- set theory
- proof theory
- logic programming
- classical logic
- modal logic
- probability theory
- asynchronous circuits
- commonsense reasoning
- formal logic
- quantum computation
- virtual environment
- computer algebra
- logic synthesis
- proof theoretic
- defeasible logic
- logic circuits
- dynamic logic
- information systems
- knowledge base
- quantum mechanics
- quantum computing
- database
- description logics
- multi valued
- virtual world
- computational properties
- boolean algebra
- logical framework
- belief functions
- virtual reality
- multi agent systems
- bayesian networks
- neural network