9 citations · 10 across the 2 of their papers we have counts for
2 papers
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…