Search results for 'Edgar E. K. Lopez-Escobar' (try it on Scholar)

38 found
Sort by:
  1. Marek Zawadowski (1995). Review: Andrew M. Pitts, David W. Kueker, Edgar G. K. Lopez-Escobar, Carl H. Smith, Interpolation and Conceptual Completeness for Pretoposes Via Category Theory; Andrew M. Pitts, Conceptual Completeness for First-Order Intutionistic Logic: An Application of Categorical Logic. [REVIEW] Journal of Symbolic Logic 60 (2):692-694.score: 1008.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. H. B. Enderton (1975). Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem. [REVIEW] Journal of Symbolic Logic 40 (3):457-458.score: 996.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Erwin Engeler (1969). Review: E. G. K. Lopez-Escobar, An Interpolation Theorem for Denumerably Long Formulas; E. G. K. Lopez-Escobar, Universal Formulas in the Infinitary Language $L_{Alpha Beta}$. [REVIEW] Journal of Symbolic Logic 34 (2):301-302.score: 996.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Martin Helling (1970). Review: E. G. K. Lopez-Escobar, On a Theorem of J. I. Malitz. [REVIEW] Journal of Symbolic Logic 35 (4):586-586.score: 996.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Jerome Malitz (1968). Review: E. G. K. Lopez-Escobar, On Defining Well-Orderings; E. G. K. Lopez-Escobar, An Addition to "On Defining Well-Orderings.". [REVIEW] Journal of Symbolic Logic 33 (1):123-123.score: 996.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Wolfram Schwabhauser (1970). Review: E. G. K. Lopez-Escobar, A Complete, Infinitary Axiomatization of Weak Second-Order Logic. [REVIEW] Journal of Symbolic Logic 35 (3):467-467.score: 996.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg (1986). Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. Journal of Symbolic Logic 51 (4):1085-1092.score: 384.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. 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.score: 256.8
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. 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.score: 196.8
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. E. G. K. López-Escobar (1990). Remarks on the Church-Rosser Property. Journal of Symbolic Logic 55 (1):106-112.score: 196.8
    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  
  11. E. G. K. López-Escobar (1982). Implicational Logics in Natural Deduction Systems. Journal of Symbolic Logic 47 (1):184-186.score: 196.8
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. 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.score: 196.8
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. E. G. K. López-Escobar (1972). Constructions and Negationless Logic. Studia Logica 30 (1):7 - 22.score: 196.8
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. E. G. K. Lopez-Escobar (1967). Remarks on an Infinitary Language with Constructive Formulas. Journal of Symbolic Logic 32 (3):305-318.score: 196.8
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. E. G. K. López-Escobar (1988). Circumscription Within Monotonic Inferences. Journal of Symbolic Logic 53 (3):888-904.score: 196.8
    A conservative extension of first order logic, suitable for circumscriptive inference, is introduced.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. 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.score: 196.8
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. 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.score: 196.8
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. E. G. K. Lopez-Escobar (1971). Review: Jon Barwise, Infinitary Logic and Admissible Sets. [REVIEW] Journal of Symbolic Logic 36 (1):156-157.score: 196.8
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. 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.score: 196.8
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. E. G. K. López-Escobar (1981). Equivalence Between Semantics for Intuitionism. I. Journal of Symbolic Logic 46 (4):773-780.score: 196.8
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. E. G. K. López-Escobar (1972). Konstrukcje a Logika Beznegacyjna. Studia Logica 30 (1):20-20.score: 196.8
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. 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.score: 196.8
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  23. 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.score: 196.8
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. E. G. K. Lopez-Escobar & Francisco Miraglia (1999). Intuitionistic Equivalence. Manuscrito 22 (2):205.score: 196.8
    No categories
     
    My bibliography  
     
    Export citation  
  25. 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.score: 196.8
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. E. G. K. Lopez-Escobar (1974). Review: David W. Kueker, Generalized Interpolation and Definability. [REVIEW] Journal of Symbolic Logic 39 (2):337-338.score: 196.8
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. 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.score: 196.8
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. E. G. K. Lopez-Escobar (1970). Review: Kenneth Kunen, Implicit Definability and Infinitary Languages. [REVIEW] Journal of Symbolic Logic 35 (2):341-342.score: 196.8
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. E. G. K. Lopez-Escobar (1968). Review: Michael Morley, Omitting Classes of Elements. [REVIEW] Journal of Symbolic Logic 33 (2):286-287.score: 196.8
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. E. G. K. Lopez-Escobar (1971). Review: Richard A. Platek, Eliminating the Continuum Hypothesis. [REVIEW] Journal of Symbolic Logic 36 (1):166-166.score: 196.8
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. E. G. K. Lopez-Escobar (1975). Review: Wilbur John Walkoe, Finite Partially-Ordered Quantification. [REVIEW] Journal of Symbolic Logic 40 (2):239-240.score: 196.8
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. E. G. K. López‐Escobar (1981). Variations on A System Of Gentzen. Mathematical Logic Quarterly 27 (25‐30):385-389.score: 196.8
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. María Asunción Gutiérrez López (2003). Sobre la complejidad e influencias del pensamiento de K. Marx. A Parte Rei: Revista de Filosofía 25:14.score: 189.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  34. N. Hamdan, A. K. Hariri & J. López-Bonilla (2007). Derivation of Einstein's Equation, E= Mc 2, From the Classical Force Laws. Apeiron 14 (4):435.score: 84.6
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. R. Biswas, B. L. Nuno-Gutierrez, A. Hidalgo San Martin, O. H. Lopez, M. G. Rivera, E. Sacayon, C. de la Rey, A. Parekh, K. Cash & F. David (1996). Red Light Project Gets the Green Light. Nexus 6 (5):3.score: 81.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Mike Lopez, Robert E. Hicks & Robert K. Young (1974). Retroactive Inhibition in a Bilingual A-B, A-B' Paradigm. Journal of Experimental Psychology 103 (1):85.score: 81.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Yvette P. Lopez, Paula L. Rechner & Julie B. Olson-Buchanan (2005). Shaping Ethical Perceptions: An Empirical Assessment of the Influence of Business Education, Culture, and Demographic Factors. [REVIEW] Journal of Business Ethics 60 (4):341 - 358.score: 45.0
    Recent events at Enron, K-Mart, Adelphia, and Tyson would seem to suggest that managers are still experiencing ethical lapses. These lapses are somewhat surprising and disappointing given the heightened focus on ethical considerations within business contexts during the past decade. This study is designed, therefore, to increase our understanding of the forces that shape ethical perceptions by considering the effects of business school education as well as a number of other individual-level factors (such as intra-national culture, area of specialization within (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  38. Nicolás López Calera (2012). Guillermo de ockham Y el nacimiento Del laicismo moderno. Anales de la Cátedra Francisco Suárez 46:263-280.score: 45.0
    W illia m o f Ockha m w a s a F rancisca n fria r , a theol o gia n an d a v e r y singula r philo sophe r . H e l i v e d a t a tim e o f crisi s an d durin g th e transitio n o f philosop h y an d theol o g y . Hi s secularis m i s manifeste d i n (...)
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation