1 problem

0 votes0 replies0 views
Completeness conjecture for generalized controlled-not identities on Boolean isomorphisms
Completeness conjecture for generalized controlled-not identities. These identities are complete for $\operatorname{Iso}(\mathsf{FinSet}_2)$ : every equality of Boolean isomorphisms…
Conjectureopenboolean-isomorphisms categorical-quantum-mechanics rewriting-systemsarXiv posted 2 days ago

Completeness conjecture for generalized controlled-not identities on Boolean isomorphisms