E. G. K. López-Escobar

Publication Activity (10 Years)

Years Active: 1967-2007
Publications (10 Years): 0

Publications

E. G. K. López-Escobar
The Logic of Classes. Log. J. IGPL 15 (5-6) (2007)
E. G. K. López-Escobar
Remarks on the Church-Rosser Property. J. Symb. Log. 55 (1) (1990)
E. G. K. López-Escobar
Circumscription within Monotonic Inferences. J. Symb. Log. 53 (3) (1988)
Martin Davis, E. G. K. López-Escobar, Wilfried Sieg
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. J. Symb. Log. 51 (4) (1986)
E. G. K. López-Escobar
König's lemma, the ω-Rule and primitive recursive arithmetic. Arch. Math. Log. 25 (1) (1985)
E. G. K. López-Escobar
A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains". J. Symb. Log. 48 (3) (1983)
E. G. K. López-Escobar
Implicational Logics in Natural Deduction Systems. J. Symb. Log. 47 (1) (1982)
E. G. K. López-Escobar
Equivalence Between Semantics for Intuitionism. I. J. Symb. Log. 46 (4) (1981)
E. G. K. López-Escobar
Variations on A System Of Gentzen. Math. Log. Q. 27 (25-30) (1981)
E. G. K. López-Escobar
On the Interpolation Theorem for the Logic of Constant Domains. J. Symb. Log. 46 (1) (1981)
E. G. K. López-Escobar
Further applications of ultra-conservative ω-rules. Arch. Math. Log. 22 (3-4) (1980)
C. Ward Henson, Bjarni Jónsson, E. G. K. López-Escobar, Michael D. Resnik
Meeting of the Association for Symbolic Logic: Atlanta 1973. J. Symb. Log. 39 (2) (1974)
E. G. K. López-Escobar
Remarks on an Infinitary Language with Constructive Formulas. J. Symb. Log. 32 (3) (1967)