Search the dblp DataBase

Publications of Author

1. Martin Davis, E. G. K. López-Escobar, Wilfred Sieg
   Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1986, v:51, n:4, pp:1085-1092 [Journal]
   
2. C. Ward Henson, Bjarni Jonsson, E. G. K. López-Escobar, Michael D. Resnik
   Meeting of the Association for Symbolic Logic: Atlanta 1973. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1974, v:39, n:2, pp:390-405 [Journal]
   
3. E. G. K. López-Escobar
   Remarks on an Infinitary Language with Constructive Formulas. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1967, v:32, n:3, pp:305-318 [Journal]
   
4. E. G. K. López-Escobar
   On the Interpolation Theorem for the Logic of Constant Domains. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:1, pp:87-88 [Journal]
   
5. E. G. K. López-Escobar
   Equivalence Between Semantics for Intuitionism. I. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1981, v:46, n:4, pp:773-780 [Journal]
   
6. E. G. K. López-Escobar
   Implicational Logics in Natural Deduction Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1982, v:47, n:1, pp:184-186 [Journal]
   
7. E. G. K. López-Escobar
   A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains". [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1983, v:48, n:3, pp:595-599 [Journal]
   
8. E. G. K. López-Escobar
   Circumscription within Monotonic Inferences. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1988, v:53, n:3, pp:888-904 [Journal]
   
9. E. G. K. López-Escobar
   Remarks on the Church-Rosser Property. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1990, v:55, n:1, pp:106-112 [Journal]