A new connective in natural deduction, and its application to quantum computing.
Alejandro Díaz-CaroGilles DowekPublished in: Theor. Comput. Sci. (2023)
Keyphrases
- quantum computing
- natural deduction
- quantum evolutionary algorithm
- quantum inspired
- inference rules
- theorem prover
- cut elimination
- intuitionistic logic
- theorem proving
- mobile computing
- quantum mechanics
- sequent calculus
- linear time temporal logic
- linear logic
- expert systems
- query processing
- genetic programming
- evolutionary algorithm