Adapting Logic to Physics: The Quantum-Like Eigenlogic Program.
Zeno ToffanoFrançois DuboisPublished in: Entropy (2020)
Keyphrases
- quantum computation
- quantum mechanics
- logic circuits
- computer science
- classical logic
- logic programming
- database
- artificial intelligence
- modal logic
- programs written
- computer programs
- predicate logic
- declarative semantics
- quantum evolutionary algorithm
- logic synthesis
- quantum computing
- proof theory
- program execution
- automated reasoning
- low power
- test cases
- databases