12 found
Sort by:
  1. Carlos Giannoni, Robert Meyer, J. Michael Dunn, Peter Woodruff, James Garson, Kent Wilson, Dorothy Grover, Ruth Manor, Alasdair Urquhart & Garrel Pottinger (1990). Nuel Belnap: Doctoral Students. In J. Dunn & A. Gupta (eds.), Truth or Consequences. Kluwer.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Garrel Pottinger (1990). A Tour of the Multivariate Lambda Calculus. In J. Dunn & A. Gupta (eds.), Truth or Consequences. Kluwer. 209--229.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Garrel Pottinger (1985). Intension, Designation, and Extension. Notre Dame Journal of Formal Logic 26 (4):309-340.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Garrel Pottinger (1983). A Formal Analysis of the Ontological Argument. American Philosophical Quarterly 20 (1):37 - 46.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Garrel Pottinger (1981). The Church-Rosser Theorem for the Typed $\Lambda$-Calculus with Surjective Pairing. Notre Dame Journal of Formal Logic 22 (3):264-268.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Richard M. Cyert & Garrel Pottinger (1979). Towards a Better Microeconomic Theory. Philosophy of Science 46 (2):204-222.
    We summarize the evidence and arguments usually employed against the use of the profit maximization assumption in microeconomic theory, and then pass directly to the methodological arguments. Two arguments are considered. The first summarizes positions which have been taken by various defenders of the "people who think a theory should be given up just because it is false are naive and confused" view. To rebut this view, we develop a scheme for classifying theoretical assumptions and show that the specious plausibility (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Garrel Pottinger (1979). A New Classical Relevance Logic. Journal of Philosophical Logic 8 (1):135 - 147.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Garrel Pottinger (1979). On Analysing Relevance Constructively. Studia Logica 38 (2):171 - 185.
    This paper lays out a program for analysing relevance constructively. It begins with a summary of results concerning the system C of Pottinger [197a] which has entailment, relevant implication, S4 strict implication, and intuitionist implication among its connectives. A full working out of the motivation for C will require formal analysis of informal concepts derived from the usual explanation of the meanings of the constants of intuitionist propositional logic. Formal machinery which should be adequate for the proof theoretic side of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Garrel Pottinger (1978). Proofs of the Normalization and Church-Rosser Theorems for the Typed $\Lambda$-Calculus. Notre Dame Journal of Formal Logic 19 (3):445-451.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Garrel Pottinger (1977). Normalization as a Homomorphic Image of Cut-Elimination. Annals of Mathematical Logic 12 (3):323-357.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Garrel Pottinger (1976). A New Way of Normalizing Intuitionist Propositional Logic. Studia Logica 35 (4):387 - 408.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Garrel Pottinger (1971). Review: V. Devide, A Proof of the Well-Ordering Theorem; Vladimir Devide, A Proof of Zermelo's Theorem. [REVIEW] Journal of Symbolic Logic 36 (4):681-681.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation