E. G. K. López-Escobar

According to our database, E. G. K. López-Escobar authored at least 13 papers between 1967 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2007

The Logic of Classes.

E. G. K. López-Escobar

Log. J. IGPL, 2007

1990

Remarks on the Church-Rosser Property.

E. G. K. López-Escobar

J. Symb. Log., 1990

1988

Circumscription within Monotonic Inferences.

E. G. K. López-Escobar

J. Symb. Log., 1988

1986

Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.

Martin Davis, E. G. K. López-Escobar, Wilfried Sieg

J. Symb. Log., 1986

1985

König's lemma, the ω-Rule and primitive recursive arithmetic.

E. G. K. López-Escobar

Arch. Math. Log., 1985

1983

A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains".

E. G. K. López-Escobar

J. Symb. Log., 1983

1982

Implicational Logics in Natural Deduction Systems.

E. G. K. López-Escobar

J. Symb. Log., 1982

1981

Variations on A System Of Gentzen.

E. G. K. López-Escobar

Math. Log. Q., 1981

Equivalence Between Semantics for Intuitionism. I.

E. G. K. López-Escobar

J. Symb. Log., 1981

On the Interpolation Theorem for the Logic of Constant Domains.

E. G. K. López-Escobar

J. Symb. Log., 1981

1980

Further applications of ultra-conservative ω-rules.

E. G. K. López-Escobar

Arch. Math. Log., 1980

1974

Meeting of the Association for Symbolic Logic: Atlanta 1973.

C. Ward Henson, Bjarni Jónsson, E. G. K. López-Escobar, Michael D. Resnik

J. Symb. Log., 1974

1967

Remarks on an Infinitary Language with Constructive Formulas.

E. G. K. López-Escobar

J. Symb. Log., 1967