Works by E. G. K. López-Escobar

Search plugin for Firefox and Explorer Shop for books using PhilPapers

Works by E. G. K. López-Escobar ( view other items matching `E. G. K. López-Escobar`, view all matches )

10 found

Sort by:

E. G. K. López-Escobar (1990). Remarks on the Church-Rosser Property. Journal of Symbolic Logic 55 (1):106-112.
A reduction algebra is defined as a set with a collection of partial unary functions (called reduction operators). Motivated by the lambda calculus, the Church-Rosser property is defined for a reduction algebra and a characterization is given for those reduction algebras satisfying CRP and having a measure respecting the reductions. The characterization is used to give (with 20/20 hindsight) a more direct proof of the strong normalization theorem for the impredicative second order intuitionistic propositional calculus.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
E. G. K. López-Escobar (1988). Circumscription Within Monotonic Inferences. Journal of Symbolic Logic 53 (3):888-904.
A conservative extension of first order logic, suitable for circumscriptive inference, is introduced.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
E. G. K. López-Escobar (1983). A Second Paper "on the Interpolation Theorem for the Logic of Constant Domains". Journal of Symbolic Logic 48 (3):595-599.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
E. G. K. López-Escobar (1982). Implicational Logics in Natural Deduction Systems. Journal of Symbolic Logic 47 (1):184-186.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
E. G. K. López-Escobar (1981). Equivalence Between Semantics for Intuitionism. I. Journal of Symbolic Logic 46 (4):773-780.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
E. G. K. López-Escobar (1981). On the Interpolation Theorem for the Logic of Constant Domains. Journal of Symbolic Logic 46 (1):87-88.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
C. Ward Henson, Bjarni Jónsson, E. G. K. Lopez-Escobar & Michael D. Resnik (1974). Meeting of the Association for Symbolic Logic: Atlanta 1973. Journal of Symbolic Logic 39 (2):390-405.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation
E. G. K. López-Escobar (1972). Constructions and Negationless Logic. Studia Logica 30 (1):7 - 22.
Logic and Philosophy of Logic
Direct download (2 more)

My bibliography

Export citation
E. G. K. López-Escobar (1972). Konstrukcje a Logika Beznegacyjna. Studia Logica 30 (1).
Logic and Philosophy of Logic
Direct download

My bibliography

Export citation
E. G. K. Lopez-Escobar (1967). Remarks on an Infinitary Language with Constructive Formulas. Journal of Symbolic Logic 32 (3):305-318.
Logic and Philosophy of Logic
Direct download (3 more)

My bibliography

Export citation

Off-campus access

Using PhilPapers from home?

Click here to configure this browser for off-campus access.

Monitor this page

Be alerted of all new items appearing on this page. Choose how you want to monitor it:

RSS feed

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Online research in philosophy

Works by E. G. K. López-Escobar ( view other items matching `E. G. K. López-Escobar`, view all matches )