17 citations · 42 across the 27 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
From Dag-Like Proofs to Boolean Circuits in Lean
Lorenzo Saraiva, Edward Hermann Haeusler
In this article, we present a method for encoding Dag-Like Derivability Structures (DLDS), obtained via horizontal compression of Natural Deduction proofs in purely implicational m…
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…