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

Alejandro Díaz-Caro Gilles Dowek

Published in: ICTAC (2021)

Keyphrases

quantum computing
natural deduction
quantum evolutionary algorithm
quantum inspired
theorem prover
inference rules
theorem proving
intuitionistic logic
cut elimination
quantum mechanics
sequent calculus
mobile computing
linear logic
database
intelligent agents
linear time temporal logic
databases