1 paper · 1 filter
Isabel Müller, Rizos Sklinos
We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality…