2007 |
10 | EE | E. G. K. López-Escobar:
The Logic of Classes.
Logic Journal of the IGPL 15(5-6): 689-706 (2007) |
1990 |
9 | | E. G. K. López-Escobar:
Remarks on the Church-Rosser Property.
J. Symb. Log. 55(1): 106-112 (1990) |
1988 |
8 | | E. G. K. López-Escobar:
Circumscription within Monotonic Inferences.
J. Symb. Log. 53(3): 888-904 (1988) |
1986 |
7 | | Martin Davis,
E. G. K. López-Escobar,
Wilfred Sieg:
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.
J. Symb. Log. 51(4): 1085-1092 (1986) |
1983 |
6 | | E. G. K. López-Escobar:
A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains".
J. Symb. Log. 48(3): 595-599 (1983) |
1982 |
5 | | E. G. K. López-Escobar:
Implicational Logics in Natural Deduction Systems.
J. Symb. Log. 47(1): 184-186 (1982) |
1981 |
4 | | E. G. K. López-Escobar:
On the Interpolation Theorem for the Logic of Constant Domains.
J. Symb. Log. 46(1): 87-88 (1981) |
3 | | E. G. K. López-Escobar:
Equivalence Between Semantics for Intuitionism. I.
J. Symb. Log. 46(4): 773-780 (1981) |
1974 |
2 | | 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): 390-405 (1974) |
1967 |
1 | | E. G. K. López-Escobar:
Remarks on an Infinitary Language with Constructive Formulas.
J. Symb. Log. 32(3): 305-318 (1967) |