Paraconsistent ideas in quantum logic.
Maria Luisa Dalla ChiaraRoberto GiuntiniPublished in: Synth. (2000)
Keyphrases
- logic programming
- quantum computation
- logic circuits
- classical logic
- truth values
- multi valued
- database
- logic programs
- logic synthesis
- possibilistic logic
- modal logic
- inconsistent knowledge
- quantum mechanics
- defeasible logic
- set theory
- predicate logic
- low power
- deductive databases
- linear logic
- knowledge base
- quantum computing
- artificial intelligence
- quantum inspired
- information retrieval
- data sets