Quantum Algorithm for Multiplicative Linear Logic

Lorenzo Saraiva,Edward Hermann Haeusler, Vaston Costa

CoRR（2023）

引用 0|浏览3

暂无评分

摘要

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.

查看译文

关键词

multiplicative linear logic,quantum,algorithm

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要