E. G. K. López-Escobar

13 papers Journal 13
YearRankTypeTitle / Venue / Authors
2007 J jnl
The Logic of Classes.
Log. J. IGPL
E. G. K. López-Escobar
1990 J jnl
Remarks on the Church-Rosser Property.
J. Symb. Log.
E. G. K. López-Escobar
1988 J jnl
Circumscription within Monotonic Inferences.
J. Symb. Log.
E. G. K. López-Escobar
1986 J jnl
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.
J. Symb. Log.
Martin Davis, E. G. K. López-Escobar, Wilfried Sieg
1985 J jnl
König's lemma, the ω-Rule and primitive recursive arithmetic.
Arch. Math. Log.
E. G. K. López-Escobar
1983 J jnl
A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains".
J. Symb. Log.
E. G. K. López-Escobar
1982 J jnl
Implicational Logics in Natural Deduction Systems.
J. Symb. Log.
E. G. K. López-Escobar
1981 J jnl
Equivalence Between Semantics for Intuitionism. I.
J. Symb. Log.
E. G. K. López-Escobar
1981 J jnl
On the Interpolation Theorem for the Logic of Constant Domains.
J. Symb. Log.
E. G. K. López-Escobar
1981 J jnl
Variations on A System Of Gentzen.
Math. Log. Q.
E. G. K. López-Escobar
1980 J jnl
Further applications of ultra-conservative ω-rules.
Arch. Math. Log.
E. G. K. López-Escobar
1974 J jnl
Meeting of the Association for Symbolic Logic: Atlanta 1973.
J. Symb. Log.
C. Ward Henson, Bjarni Jónsson, E. G. K. López-Escobar, Michael D. Resnik
1967 J jnl
Remarks on an Infinitary Language with Constructive Formulas.
J. Symb. Log.
E. G. K. López-Escobar