63 citations · 77 across the 15 of their papers we have counts for
1 paper · 1 filter
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…