 | 2007 |
|---|
| 10 |       | 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) |
