This paper describes a quantum algorithm for proof search in sequent calculus of a subset of Linear Logic using the Grover Search Algorithm. We briefly overview the Grover Search Algorithm and Linear Logic, show the detailed steps of the algorithm and then present the results obtained on quantum simulators.

翻译：本文描述了使用 Grover 搜索 Algorithm 的线性逻辑子集的序列计算中进行证据搜索的量子算法。 我们简要概述了 Grover 搜索 Algorithm 和 线性逻辑, 展示了算法的详细步骤, 然后展示了量子模拟器的结果 。