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

1000+ found
Order:
  1. G. E. G. E. (1954). GASS K. E., "Antoine de Rivarol und der Ausgang der Franzosischen Aufklärung". [REVIEW] Giornale Critico Della Filosofia Italiana 8:291.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  2. 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.
  3.  3
    H. B. Enderton (1975). Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem. [REVIEW] Journal of Symbolic Logic 40 (3):457-458.
  4. 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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5. 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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. 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.
     
    Export citation  
     
    My bibliography  
  7. 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  14
    Sonia E. Alvarez, Evelina Dagnino & Arturo Escobar (forthcoming). Cultura E Política Nos Movimentos Sociais Latino-Americanos: Novas Leituras; Cultures of Politics/Politics of Cultures: Re-Visioning Latin American Social Movements. Humanitas.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  3
    Marek Zawadowski (1995). 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] Journal of Symbolic Logic 60 (2):692-694.
  10. 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.
  11.  6
    C. M. E. (1892). 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] The Classical Review 6 (04):179-.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  3
    Orion Edgar (2015). Imagining the Kingdom: How Worship Works by James K. A. Smith , Xx +198 Pp. Modern Theology 31 (2):351-353.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  10
    Stacey L. Edgar (2000). Gregory J. E. Rawlins, Slaves of the Machine: The Quickening of Computer Technology. [REVIEW] Minds and Machines 10 (3):444-448.
  14. J. Edgar (1904). KIRKPATRICK, E. A. - Fundamentals of Child Study. [REVIEW] Mind 13:569.
    No categories
     
    Export citation  
     
    My bibliography  
  15. J. Edgar (1913). SPRANGER, E. -Wilhelm von Humboldt Und Die Reform des Bildungswesens. [REVIEW] Mind 22:424.
    No categories
     
    Export citation  
     
    My bibliography  
  16. Francisco Larroyo & Edmundo F. Escobar (1968). Sistema E Historia de Las Doctrinas Filosóficas. Editorial Porrúa.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  17.  1
    O. Chateaubriand (2008). Propositional Logic: Response to Ken López-Escobar. 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  
  18.  6
    K. E. (1981). Representative Essays of Borden Parker Bowne. Review of Metaphysics 35 (2):412-415.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  6
    K. E. (1981). Human Encounters in the Social World. Review of Metaphysics 34 (3):609-611.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. K. R. E. (1926). Editor's Preface. Speculum 1 (1):3-4.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21.  2
    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  
     
    Export citation  
     
    My bibliography  
  22. 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.
  23. E. G. K. López-Escobar (1982). Implicational Logics in Natural Deduction Systems. Journal of Symbolic Logic 47 (1):184-186.
  24.  4
    E. G. K. López-Escobar (1981). Variations on A System Of Gentzen. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):385-389.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  12
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
  26.  10
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  7
    E. G. K. López-Escobar (1972). Konstrukcje a Logika Beznegacyjna. Studia Logica 30 (1):20-20.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28.  5
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  29.  10
    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)  
     
    Export citation  
     
    My bibliography  
  30.  12
    E. G. K. López-Escobar (1972). Constructions and Negationless Logic. Studia Logica 30 (1):7 - 22.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  31.  6
    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)  
     
    Export citation  
     
    My bibliography  
  32.  3
    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)  
     
    Export citation  
     
    My bibliography  
  33.  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)  
     
    Export citation  
     
    My bibliography  
  34.  1
    E. G. K. Lopez-Escobar (1971). Review: Jon Barwise, Infinitary Logic and Admissible Sets. [REVIEW] Journal of Symbolic Logic 36 (1):156-157.
  35.  1
    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)  
     
    Export citation  
     
    My bibliography  
  36.  1
    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)  
     
    Export citation  
     
    My bibliography  
  37.  1
    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
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. E. G. K. Lopez-Escobar & Francisco Miraglia (1999). Intuitionistic Equivalence. Manuscrito 22 (2):205.
     
    Export citation  
     
    My bibliography  
  39. 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)  
     
    Export citation  
     
    My bibliography  
  40. 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)  
     
    Export citation  
     
    My bibliography  
  41. 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  
     
    Export citation  
     
    My bibliography  
  42. 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)  
     
    Export citation  
     
    My bibliography  
  43. E. G. K. Lopez-Escobar (1968). Review: Michael Morley, Omitting Classes of Elements. [REVIEW] Journal of Symbolic Logic 33 (2):286-287.
     
    Export citation  
     
    My bibliography  
  44. 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)  
     
    Export citation  
     
    My bibliography  
  45. 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)  
     
    Export citation  
     
    My bibliography  
  46. E. G. K. López‐Escobar (1981). Variations on A System Of Gentzen. Mathematical Logic Quarterly 27 (25‐30):385-389.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  47. 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.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  48.  77
    Jonathan Jenkins Ichikawa (2013). Basic Knowledge and Contextualist “E = K”. Thought: A Journal of Philosophy 2 (4):282-292.
    Timothy Williamson (2000) makes a strong prima facie case for the identification of a subject's total evidence with the subject's total knowledge (E = K). However, as Brian Weatherson (Ms) has observed, there are intuitively problematic consequences of E = K. In this article, I'll offer a contextualist implementation of E = K that provides the resources to respond to Weatherson's argument; the result will be a novel approach to knowledge and evidence that is suggestive of an unexplored contextualist approach (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49. Michael J. Shaffer (2013). E Does Not Equal K. The Reasoner 7:30-31.
    This paper challenges Williamson's "E = K" thesis on the basis of evidential practice. The main point is that most evidence is only approximately true and so cannot be known if knowledge is factive.
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  50.  5
    Lloyd Humberstone (2012). Minimally Congruential Contexts: Observations and Questions on Embedding E in K. Notre Dame Journal of Formal Logic 53 (4):581-598.
    Recently, an improvement in respect of simplicity was found by Rohan French over extant translations faithfully embedding the smallest congruential modal logic (E) in the smallest normal modal logic (K). After some preliminaries, we explore the possibility of further simplifying the translation, with various negative findings (but no positive solution). This line of inquiry leads, via a consideration of one candidate simpler translation whose status was left open earlier, to isolating the concept of a minimally congruential context. This amounts, roughly (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 1000