E. G. K. López-Escobar - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2007

The Logic of ClassesE. G. K. López-Escobar. igpl, 15(5-6):689-706, 2007. [doi]

1990

Remarks on the Church-Rosser PropertyE. G. K. López-Escobar. JSYML, 55(1):106-112, 1990.

1988

Circumscription within Monotonic InferencesE. G. K. López-Escobar. JSYML, 53(3):888-904, 1988.

1986

Meeting of the Association for Symbolic Logic: Washington, D. C., 1985Martin Davis, E. G. K. López-Escobar, Wilfred Sieg. JSYML, 51(4):1085-1092, 1986.

1985

König's lemma, the ω-Rule and primitive recursive arithmeticE. G. K. López-Escobar. AML, 25(1):67-74, 1985. [doi]

1983

A Second Paper On the Interpolation Theorem for the Logic of Constant Domains E. G. K. López-Escobar. JSYML, 48(3):595-599, 1983.

1982

Implicational Logics in Natural Deduction SystemsE. G. K. López-Escobar. JSYML, 47(1):184-186, 1982.

1981

Equivalence Between Semantics for Intuitionism. IE. G. K. López-Escobar. JSYML, 46(4):773-780, 1981.

On the Interpolation Theorem for the Logic of Constant DomainsE. G. K. López-Escobar. JSYML, 46(1):87-88, 1981.

Variations on A System Of GentzenE. G. K. López-Escobar. mlq, 27(25-30):385-389, 1981. [doi]

1980

Further applications of ultra-conservative ω-rulesE. G. K. López-Escobar. AML, 22(3-4):89-102, 1980. [doi]

1974

Meeting of the Association for Symbolic Logic: Atlanta 1973C. Ward Henson, Bjarni Jónsson, E. G. K. López-Escobar, Michael D. Resnik. JSYML, 39(2):390-405, 1974.

1967

Remarks on an Infinitary Language with Constructive FormulasE. G. K. López-Escobar. JSYML, 32(3):305-318, 1967.

Sign in or sign up to see more results.

runs on WebDSL