research
∙
03/09/2022
On proving consistency of equational theories in Bounded Arithmetic
We consider pure equational theories that allow substitution but disallo...
share
research
∙
03/06/2022
