Results for 'Edgar E. K. Lopez-Escobar'

999 found
Order:
  1. GASS K. E., "Antoine de Rivarol und der Ausgang der Franzosischen Aufklärung". [REVIEW]G. E. G. E. - 1954 - Giornale Critico Della Filosofia Italiana 8:291.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  2. 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]Marek Zawadowski - 1995 - Journal of Symbolic Logic 60 (2):692-694.
  3.  3
    Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (3):457-458.
  4. 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]Erwin Engeler - 1969 - Journal of Symbolic Logic 34 (2):301-302.
  5. Review: E. G. K. Lopez-Escobar, On a Theorem of J. I. Malitz. [REVIEW]Martin Helling - 1970 - Journal of Symbolic Logic 35 (4):586-586.
  6. Review: E. G. K. Lopez-Escobar, On Defining Well-Orderings; E. G. K. Lopez-Escobar, An Addition to "On Defining Well-Orderings.". [REVIEW]Jerome Malitz - 1968 - Journal of Symbolic Logic 33 (1):123-123.
  7. Review: E. G. K. Lopez-Escobar, A Complete, Infinitary Axiomatization of Weak Second-Order Logic. [REVIEW]Wolfram Schwabhauser - 1970 - Journal of Symbolic Logic 35 (3):467-467.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Lopez-Escobar E. G. K.. A Non-Interpolation Theorem. English with Russian Summary. Bulletin de l'Académic Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 17 , Pp. 109–112, V. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (3):457-458.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Lopez-Escobar E. G. K.. An Interpolation Theorem for Denumerably Long Formulas. Fundamenta Mathematicae, Vol. 57 No. 3 , Pp. 253–257.Lopez-Escobar E. G. K.. Universal Formulas in the Infinitary Language Lαβ. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 13 , Pp. 383–388. [REVIEW]Erwin Engeler - 1969 - Journal of Symbolic Logic 34 (2):301-302.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Lopez-Escobar E. G. K.. On a Theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 15 , Pp. 739–743. [REVIEW]Martin Helling - 1970 - Journal of Symbolic Logic 35 (4):586.
  11. Lopez-Escobar E. G. K.. On Defining Well-Orderings. Fundamenta Mathematicae, Vol. 59 , Pp. 13–21.Lopez-Escobar E. G. K.. An Addition to “On Defining Well-Orderings.“ Fundamenta Mathematicae, Vol. 59 , Pp. 299–300. [REVIEW]Jerome Malitz - 1968 - Journal of Symbolic Logic 33 (1):123.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Lopez-Escobar E. G. K.. A Complete, Infinitary Axiomatization of Weak Second-Order Logic. Fundamenta Mathematicae, Vol. 61 , Pp. 93–103. [REVIEW]Wolfram Schwabhäuser - 1970 - Journal of Symbolic Logic 35 (3):467.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  19
    Cultura E Política Nos Movimentos Sociais Latino-Americanos: Novas Leituras; Cultures of Politics/Politics of Cultures: Re-Visioning Latin American Social Movements.Sonia E. Alvarez, Evelina Dagnino & Arturo Escobar - forthcoming - Humanitas.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  5
    Pitts Andrew M.. Interpolation and Conceptual Completeness for Pretoposes Via Category Theory. Mathematical Logic and Theoretical Computer Science, Edited by David W. Kueker, Edgar GK Lopez-Escobar and Carl H. Smith, Lecture Notes in Pure and Applied Mathematics, Vol. 106, Marcel Dekker, New York and Basel 1987, Pp. 301–327. Pitts Andrew M.. Conceptual Completeness for First-Order Intuitionistic Logic: An Application of Categorical Logic. Annals of Pure and Applied Logic, Vol. 41 (1989), Pp. 33–81. [REVIEW]Marek Zawadowski - 1995 - Journal of Symbolic Logic 60 (2):692-694.
  15. Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg - 1986 - Journal of Symbolic Logic 51 (4):1085-1092.
  16.  13
    Griechische Sprachlehre für Schüler. K. W. Krüger. Sechste verbesserte Auflage, besorgt von W. Pökel. Alfred Krüger. 1890. Erster Teil, Zweites Heft, 1 Lieferung. 4 Mk. [REVIEW]C. M. E. - 1892 - The Classical Review 6 (04):179-.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  4
    Imagining the Kingdom: How Worship Works by James K. A. Smith , Xx +198 Pp.Orion Edgar - 2015 - Modern Theology 31 (2):351-353.
  18.  12
    Gregory J. E. Rawlins, Slaves of the Machine: The Quickening of Computer Technology. [REVIEW]Stacey L. Edgar - 2000 - Minds and Machines 10 (3):444-448.
  19. KIRKPATRICK, E. A. - Fundamentals of Child Study. [REVIEW]J. Edgar - 1904 - Mind 13:569.
     
    Export citation  
     
    My bibliography  
  20. SPRANGER, E. -Wilhelm von Humboldt Und Die Reform des Bildungswesens. [REVIEW]J. Edgar - 1913 - Mind 22:424.
    No categories
     
    Export citation  
     
    My bibliography  
  21. Sistema E Historia de Las Doctrinas Filosóficas.Francisco Larroyo & Edmundo F. Escobar - 1968 - Editorial Porrúa.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  22.  2
    Propositional Logic: Response to Ken López-Escobar.O. Chateaubriand - 2008 - Manuscrito 31 (1):115-120.
    Ken López-Escobar questions the timeless status of various entities—propositions, numbers, etc.—as well as my characterization of pure propositional logic as an ontological theory. In my response I argue that my characterization of propositional logic does not depend on timeless propositions, or on other abstract truth bearers, but is a characterization in terms of truth relations between any truth bearers. I also discuss his views on numbers as cultural constructs, as well as his use of quantification in propositional logic.Ken López-Escobar questiona (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  3
    Tait W. W.. Infinitely Long Terms of Transfinite Type. Formal Systems and Recursive Functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, Edited by Crossley J. N. And Dummett M. A. E., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 176–185. [REVIEW]E. G. K. LóPez-Escobar - 1975 - Journal of Symbolic Logic 40 (4):623-624.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  2
    Review: W. W. Tait, J. N. Crossley, M. A. E. Dummett, Infinitely Long Terms of Transfinite Type. [REVIEW]E. G. K. Lopez-Escobar - 1975 - Journal of Symbolic Logic 40 (4):623-624.
  25. Čudnovskiǐ G. V.. Some Results in the Theory of Infinitely Long Expressions. English Translation of XXXVII 215 by Mendelson E.. Soviet Mathematics, Vol. 9 No. 2 , Pp. 556–559. [REVIEW]E. G. K. López-Escobar - 1972 - Journal of Symbolic Logic 37 (1):202-203.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Meeting of the Association for Symbolic Logic: Atlanta 1973.C. Ward Henson, Bjarni Jónsson, E. G. K. Lopez-Escobar & Michael D. Resnik - 1974 - Journal of Symbolic Logic 39 (2):390-405.
  27. Implicational Logics in Natural Deduction Systems.E. G. K. López-Escobar - 1982 - Journal of Symbolic Logic 47 (1):184-186.
  28.  1
    An Interpolation Theorem for Denumerably Long Formulas.E. G. K. Lopez-Escobar - 1969 - Journal of Symbolic Logic 34 (2):301-302.
  29.  16
    Variations on A System Of Gentzen.E. G. K. López-Escobar - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):385-389.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  12
    On the Interpolation Theorem for the Logic of Constant Domains.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (1):87-88.
  31.  13
    König's Lemma, the Ω-Rule and Primitive Recursive Arithmetic.E. G. K. López-Escobar - 1985 - Archive for Mathematical Logic 25 (1):67-74.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  12
    Konstrukcje a Logika Beznegacyjna.E. G. K. López-Escobar - 1972 - Studia Logica 30 (1):20-20.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  33.  5
    A Second Paper "on the Interpolation Theorem for the Logic of Constant Domains".E. G. K. López-Escobar - 1983 - Journal of Symbolic Logic 48 (3):595-599.
  34.  17
    Constructions and Negationless Logic.E. G. K. López-Escobar - 1972 - Studia Logica 30 (1):7 - 22.
  35.  10
    Remarks on the Church-Rosser Property.E. G. K. López-Escobar - 1990 - 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 (7 more)  
     
    Export citation  
     
    My bibliography  
  36.  1
    Barwise Jon. Infinitary Logic and Admissible Sets.E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):156-157.
  37.  1
    Morley Michael. Omitting Classes of Elements. The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, Edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 265–273. [REVIEW]E. G. K. Lopez-Escobar - 1968 - Journal of Symbolic Logic 33 (2):286-287.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  3
    Review: Jon Barwise, Infinitary Logic and Admissible Sets. [REVIEW]E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (1):156-157.
  39.  5
    Circumscription Within Monotonic Inferences.E. G. K. López-Escobar - 1988 - Journal of Symbolic Logic 53 (3):888-904.
    A conservative extension of first order logic, suitable for circumscriptive inference, is introduced.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  40.  6
    Equivalence Between Semantics for Intuitionism. I.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (4):773-780.
  41.  3
    Remarks on an Infinitary Language with Constructive Formulas.E. G. K. Lopez-Escobar - 1967 - Journal of Symbolic Logic 32 (3):305-318.
  42.  1
    Review: H. Jerome Keisler, Model Theory for Infinitary Logic. Logic with Countable Conjunctions and Finite Quantifiers. [REVIEW]E. G. K. Lopez-Escobar - 1973 - Journal of Symbolic Logic 38 (3):522-523.
  43.  1
    Review: Jon Barwise, Kenneth Kunen, Hanf Numbers for Fragments of $L_{Inftyomega}$. [REVIEW]E. G. K. Lopez-Escobar - 1984 - Journal of Symbolic Logic 49 (1):315-315.
  44.  1
    Review: Erwin Engeler, Zur Beweistheorie von Sprachen mit Unendlich Langen Formela. [REVIEW]E. G. K. Lopez-Escobar - 1971 - Journal of Symbolic Logic 36 (4):685-685.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. A Complete, Infinitary Axiomatization of Weak Second-Order Logic.E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (3):467-467.
  46. A Non-Interpolation Theorem.E. G. K. Lopez-Escobar - 1975 - Journal of Symbolic Logic 40 (3):457-458.
  47. Intuitionistic Equivalence.E. G. K. Lopez-Escobar & Francisco Miraglia - 1999 - Manuscrito 22 (2):205.
     
    Export citation  
     
    My bibliography  
  48. Kunen Kenneth. Implicit Definability and Infinitary Languages.E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (2):341-342.
  49. Logic: Techniques of Formal Reasoning.E. G. K. Lopez-Escobar, Donald Kalish & Richard Montague - 1967 - Philosophical Review 76 (2):252.
  50. On a Theorem of J. I. Malitz.E. G. K. Lopez-Escobar - 1970 - Journal of Symbolic Logic 35 (4):586-586.
1 — 50 / 999