A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond
Logic in Computer Science
2021-03-23 v1
Abstract
We introduce a class of rooted graphs which allows one to encode various kinds of classical or quantum circuits. We then follow a set-theoretic approach to define rewrite systems over the considered graphs and propose a new complete Superposition callculus which handles sets of formulas consisting of equations or disequations over these graphs.
Cite
@article{arxiv.2103.11709,
title = {A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond},
author = {Rachid Echahed and Mnacho Echenim and Mehdi Mhalla and Nicolas Peltier},
journal= {arXiv preprint arXiv:2103.11709},
year = {2021}
}