Remarks on an Infinitary Language with Constructive Formulas. - E. G. K. López-Escobar (J. Symb. Log., 1967)

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)

Further applications of ultra-conservative ω-rules. - E. G. K. López-Escobar (Arch. Math. Log., 1980)

On the Interpolation Theorem for the Logic of Constant Domains. - E. G. K. López-Escobar (J. Symb. Log., 1981)

Equivalence Between Semantics for Intuitionism. I. - E. G. K. López-Escobar (J. Symb. Log., 1981)

Variations on A System Of Gentzen. - E. G. K. López-Escobar (Math. Log. Q., 1981)

Implicational Logics in Natural Deduction Systems. - E. G. K. López-Escobar (J. Symb. Log., 1982)

A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains". - E. G. K. López-Escobar (J. Symb. Log., 1983)

König's lemma, the ω-Rule and primitive recursive arithmetic. - E. G. K. López-Escobar (Arch. Math. Log., 1985)

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)

Circumscription within Monotonic Inferences. - E. G. K. López-Escobar (J. Symb. Log., 1988)

Remarks on the Church-Rosser Property. - E. G. K. López-Escobar (J. Symb. Log., 1990)

The Logic of Classes. - E. G. K. López-Escobar (Log. J. IGPL, 2007)