A New Connective in Natural Deduction, and its Application to Quantum Computing.

Alejandro Díaz-Caro Gilles Dowek

Published in: CoRR (2020)

Keyphrases

quantum computing
natural deduction
inference rules
theorem prover
quantum inspired
quantum evolutionary algorithm
theorem proving
sequent calculus
mobile computing
quantum mechanics
cut elimination
intuitionistic logic
linear time temporal logic
linear logic
databases
probabilistic model
expert systems