9 citations · 10 across the 3 of their papers we have counts for
3 papers
cs.CC2020
On proof theory in computer science
L. Gordeev, E. H. Haeusler
The subject logic in computer science should entail proof theoretic applications. So the question arises whether open problems in computational complexity can be solved by advanced…
cs.CC2016★ 1 cited
NP vs PSPACE
Lew Gordeev, Edward Hermann Haeusler
We present a proof of the conjecture = by showing that arbitrary tautologies of Johansson's minimal propositional logic admit "small" polynomial-s…
cs.LO2014★ 9 cited
Proof-graphs for Minimal Implicational Logic
Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their resp…