TY - JOUR
AU - Saraiva, Lorenzo
AU - Haeusler, Edward Hermann
AU - Costa, Vaston
PY - 2023
TI - Quantum Algorithm for Multiplicative Linear Logic
JF - Anais do Workshop Brasileiro de Lógica (WBL); 2023: Anais do IV Workshop Brasileiro de Lógica
DO - 10.5753/wbl.2023.229335
KW -
N2 - 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.
UR - https://sol.sbc.org.br/index.php/wbl/article/view/25171