Search results for 'J. Lipton' (try it on Scholar)

7 found
Sort by:
  1. M. F.-S. & N. J. (2008). Peter Lipton (9th October 1954–25th November 2007). Studies in History and Philosophy of Science Part A 39 (1):1-.score: 360.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. James Lipton & Michael J. O'Donnell (1996). Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels. Annals of Pure and Applied Logic 81 (1-3):187-239.score: 240.0
    We use formal semantic analysis based on new constructions to study abstract realizability, introduced by Läuchli in 1970, and expose its algebraic content. We claim realizability so conceived generates semantics-based intuitive confidence that the Heyting Calculus is an appropriate system of deduction for constructive reasoning.Well-known semantic formalisms have been defined by Kripke and Beth, but these have no formal concepts corresponding to constructions, and shed little intuitive light on the meanings of formulae. In particular, the completeness proofs for these semantics (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. J. Lipton (1995). Realizability, Set Theory and Term Extraction. In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia. 8--257.score: 240.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. S. Feferman (1996). O'Donnell, MJ, see Lipton, J. 187-239 Remmel, JB, see Nerode, A. 125-170. Annals of Pure and Applied Logic 81:241.score: 120.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  5. Pete Boettke, Steve Horwitz & David L. Prychitko (1986). The Roots of Apartheid. Critical Review 1 (1):115-122.score: 24.0
    THE RANDLORDS by Geoffrey Wheatcroft. New York: Atheneum, 1986. 314 pp., $17.95. CAPITALISM AND APARTHEID: SOUTH AFRICA, 1910?1984 by Merle Lipton. Totowa, N.J.: Rowman & Allanheld, 1985. 400 pp., $19.95. THE ECONOMICS OF THE COLOUR BAR by W. H. Hutt. London: Institute of Economic Affairs, 1964.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. David-Hillel Ruben (ed.) (1993). Explanation. Oxford University Press.score: 24.0
    The aim of this series is to bring together important recent writings in major areas of philosophical inquiry, selected from a variety of sources, mostly periodicals, which may not be conveniently available to the university student or the general reader. The editor of each volume contributes an introductory essay on the items chosen and on the questions with which they deal. A selective bibliography is appended as a guide to further reading. This volume presents a selection of the most important (...)
     
    My bibliography  
     
    Export citation