Lew Gordeev - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2016

On Strong Normalization in Proof-Graphs for Propositional LogicMarcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev. ENTCS, 323:181-196, 2016. [doi]

2013

Proof-theoretic conservations of weak weak intuitionistic constructive set theoriesLew Gordeev. APAL, 164(12):1274-1292, 2013. [doi]

2012

Phase transitions of iterated Higman-style well-partial-orderingsLew Gordeev, Andreas Weiermann. AML, 51(1-2):127-161, 2012. [doi]

2011

Propositional proof compressions and DNF logicLew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira. igpl, 19(1):62-86, 2011. [doi]

2010

A note on da Costa-Doria exotic formalizations Lew Gordeev. AML, 49(7-8):813-821, 2010. [doi]

2001

Finite methods in 1-order formalismsLew Gordeev. APAL, 113(1-3):121-151, 2001.

2000

Combinatorial Principles Relevant to Finite Variable LogicLew Gordeev. RelMiCS 2000: 95-111

1999

Variable Compactness in 1-Order LogicLew Gordeev. igpl, 7(3):327-357, 1999. [doi]

1998

Proof systems in relation algebraLew Gordeev. RelMiCS 1998: 80-85

1994

A Modified Sentence Unprovable in PALew Gordeev. JSYML, 59(4):1154-1157, 1994.

Cut Free Formalization of Logic with Finitely Many Variables. Part ILew Gordeev. csl 1995: 136-150

1991

Quasi-ordinals and proof theoryLew Gordeev. gst 1993: 485-494

1990

Generalizations of the Kruskal-Friedman TheoriesLew Gordeev. JSYML, 55(1):157-181, 1990.

1989

Generalizations of the One-Dimensional Version of the Kruskal-Friedman TheoremsLew Gordeev. JSYML, 54(1):100-121, 1989.

1987

On cut elimination in the presence of perice ruleLew Gordeev. AML, 26(1):147-164, 1987. [doi]

Sign in or sign up to see more results.

runs on WebDSL