Lew Gordeev

21 papers B 1Journal 14Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
On proof theory in computational complexity: overview.
CoRR
Lew Gordeev, Edward Hermann Haeusler
2020 J jnl
On proof theory in computer science.
CoRR
Lew Gordeev, Edward Hermann Haeusler
2020 J jnl
Proof Compression and NP Versus PSPACE II: Addendum.
CoRR
Lew Gordeev, Edward Hermann Haeusler
2016 J jnl
NP vs PSPACE.
CoRR
Lew Gordeev, Edward Hermann Haeusler
2015 — conf
On Strong Normalization in Proof-Graphs for Propositional Logic.
LSFA
Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
2013 — conf
Proof-graphs for Minimal Implicational Logic.
DCM
Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
2013 J jnl
Proof-theoretic conservations of weak weak intuitionistic constructive set theories.
Ann. Pure Appl. Log.
Lew Gordeev
2012 J jnl
Phase transitions of iterated Higman-style well-partial-orderings.
Arch. Math. Log.
Lew Gordeev, Andreas Weiermann
2011 J jnl
Propositional proof compressions and DNF logic.
Log. J. IGPL
Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira
2010 J jnl
A note on da Costa-Doria "exotic formalizations".
Arch. Math. Log.
Lew Gordeev
2001 J jnl
Finite methods in 1-order formalisms.
Ann. Pure Appl. Log.
Lew Gordeev
2001 — conf
Proof Theory and Post-turing Analysis.
Proof Theory in Computer Science
Lew Gordeev
2000 — conf
Combinatorial Principles Relevant to Finite Variable Logic.
RelMiCS
Lew Gordeev
1999 J jnl
Variable Compactness in 1-Order Logic.
Log. J. IGPL
Lew Gordeev
1998 — conf
Proof systems in relation algebra.
RelMiCS
Lew Gordeev
1994 J jnl
A Modified Sentence Unprovable in PA.
J. Symb. Log.
Lew Gordeev
1994 B conf
Cut Free Formalization of Logic with Finitely Many Variables. Part I.
CSL
Lew Gordeev
1991 — conf
Quasi-ordinals and proof theory.
Graph Structure Theory
Lew Gordeev
1990 J jnl
Generalizations of the Kruskal-Friedman Theories.
J. Symb. Log.
Lew Gordeev
1989 J jnl
Generalizations of the One-Dimensional Version of the Kruskal-Friedman Theorems.
J. Symb. Log.
Lew Gordeev
1987 J jnl
On cut elimination in the presence of perice rule.
Arch. Math. Log.
Lew Gordeev