63 citations · 78 across the 16 of their papers we have counts for
1 paper · 2 filters
Iddo Tzameret
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least…