Showing cs.CCShow all
2 papers · 1 filter
cs.CC2026
Proofs of NP = coNP = PSPACE: Current upgrade
Lev Gordeev, Edward Hermann Haeusler
In this paper we present a more transparent upgrade of our proofs and comment on Jerabek's paper [8].
cs.CC2026
A note on Jerabek's paper "A simplified lower bound for implicational logic"
Lev Gordeev, Edward Hermann Haeusler
In our previous papers we sketched proofs of the equality NP = coNP = PSPACE. These results have been obtained by proof theoretic tree-to-dag compressing techniques adapted to Praw…