2000 character limit reached
A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond (2103.11709v1)
Published 22 Mar 2021 in cs.LO
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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.