Lew Gordeev

Publication Activity (10 Years)

Years Active: 1987-2022
Publications (10 Years): 5

Top Topics

Propositional Logic

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

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