24 found
Sort by:
  1. E. G. K. Lopez-Escobar & Francisco Miraglia (1999). Intuitionistic Equivalence. Manuscrito 22 (2):205.
    No categories
     
    My bibliography  
     
    Export citation  
  2. 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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. 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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. E. G. K. López-Escobar (1985). König's Lemma, the Ω-Rule and Primitive Recursive Arithmetic. Archive for Mathematical Logic 25 (1):67-74.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. E. G. K. Lopez-Escobar (1984). Review: Jon Barwise, Kenneth Kunen, Hanf Numbers for Fragments of $L_{Inftyomega}$. [REVIEW] Journal of Symbolic Logic 49 (1):315-315.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. E. G. K. Lopez-Escobar (1983). Review: Andrzej Grzegorczyk, Olgierd Wojtasiewicz, Waclaw Zawadowski, An Outline of Mathematical Logic. Fundamental Results and Notions Explained with All Details. [REVIEW] Journal of Symbolic Logic 48 (1):220-222.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. 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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. E. G. K. López-Escobar (1982). Implicational Logics in Natural Deduction Systems. Journal of Symbolic Logic 47 (1):184-186.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. E. G. K. López-Escobar (1981). Equivalence Between Semantics for Intuitionism. I. Journal of Symbolic Logic 46 (4):773-780.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. 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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. E. G. K. Lopez-Escobar (1975). Review: Wilbur John Walkoe, Finite Partially-Ordered Quantification. [REVIEW] Journal of Symbolic Logic 40 (2):239-240.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. E. G. K. Lopez-Escobar (1975). Review: W. W. Tait, J. N. Crossley, M. A. E. Dummett, Infinitely Long Terms of Transfinite Type. [REVIEW] Journal of Symbolic Logic 40 (4):623-624.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. 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.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. E. G. K. Lopez-Escobar (1974). Review: David W. Kueker, Generalized Interpolation and Definability. [REVIEW] Journal of Symbolic Logic 39 (2):337-338.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. E. G. K. Lopez-Escobar (1973). Review: H. Jerome Keisler, Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers. [REVIEW] Journal of Symbolic Logic 38 (3):522-523.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. E. G. K. Lopez-Escobar (1972). Review: G. V. Cudnovskii, Some Results in the Theory of Infinitely Long Expressions. [REVIEW] Journal of Symbolic Logic 37 (1):202-203.
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. E. G. K. López-Escobar (1972). Constructions and Negationless Logic. Studia Logica 30 (1):7 - 22.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. E. G. K. López-Escobar (1972). Konstrukcje a Logika Beznegacyjna. Studia Logica 30 (1):20-20.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. E. G. K. Lopez-Escobar (1971). Review: Erwin Engeler, Zur Beweistheorie von Sprachen mit Unendlich Langen Formela. [REVIEW] Journal of Symbolic Logic 36 (4):685-685.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. E. G. K. Lopez-Escobar (1971). Review: Jon Barwise, Infinitary Logic and Admissible Sets. [REVIEW] Journal of Symbolic Logic 36 (1):156-157.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. E. G. K. Lopez-Escobar (1971). Review: Richard A. Platek, Eliminating the Continuum Hypothesis. [REVIEW] Journal of Symbolic Logic 36 (1):166-166.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. E. G. K. Lopez-Escobar (1970). Review: Kenneth Kunen, Implicit Definability and Infinitary Languages. [REVIEW] Journal of Symbolic Logic 35 (2):341-342.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. E. G. K. Lopez-Escobar (1968). Review: Michael Morley, Omitting Classes of Elements. [REVIEW] Journal of Symbolic Logic 33 (2):286-287.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. E. G. K. Lopez-Escobar (1967). Remarks on an Infinitary Language with Constructive Formulas. Journal of Symbolic Logic 32 (3):305-318.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation