13 found
Order:
Disambiguations
Garrel Pottinger [13]Garrel Shane Pottinger [1]
  1.  39
    Normalization as a homomorphic image of cut-elimination.Garrel Pottinger - 1977 - Annals of Mathematical Logic 12 (3):323.
  2.  35
    Nuel Belnap: Doctoral students.Carlos Giannoni, Robert Meyer, J. Michael Dunn, Peter Woodruff, James Garson, Kent Wilson, Dorothy Grover, Ruth Manor, Alasdair Urquhart & Garrel Pottinger - 1990 - In J. Dunn & A. Gupta, Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers.
  3.  57
    A new way of normalizing intuitionist propositional logic.Garrel Pottinger - 1976 - Studia Logica 35 (4):387 - 408.
  4.  26
    A tour of the multivariate lambda calculus.Garrel Pottinger - 1990 - In J. Dunn & A. Gupta, Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 209--229.
  5.  33
    The Church-Rosser theorem for the typed $\lambda$-calculus with surjective pairing.Garrel Pottinger - 1981 - Notre Dame Journal of Formal Logic 22 (3):264-268.
  6.  66
    A new classical relevance logic.Garrel Pottinger - 1979 - Journal of Philosophical Logic 8 (1):135 - 147.
  7.  36
    On analysing relevance constructively.Garrel Pottinger - 1979 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  50
    Towards a better microeconomic theory.Richard M. Cyert & Garrel Pottinger - 1979 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  20
    Intension, designation, and extension.Garrel Pottinger - 1985 - Notre Dame Journal of Formal Logic 26 (4):309-340.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10.  41
    Proofs of the normalization and Church-Rosser theorems for the typed $\lambda$-calculus.Garrel Pottinger - 1978 - Notre Dame Journal of Formal Logic 19 (3):445-451.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  39
    A Formal Analysis of the Ontological Argument.Garrel Pottinger - 1983 - American Philosophical Quarterly 20 (1):37 - 46.
  12.  29
    Review: V. Devide, A Proof of the Well-Ordering Theorem; Vladimir Devide, A Proof of Zermelo's Theorem. [REVIEW]Garrel Pottinger - 1971 - Journal of Symbolic Logic 36 (4):681-681.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  37
    V. Devidé. A proof of the well-ordering theorem. Colloquium mathematicum, vol. 11 no. 1 , pp. 53–54. - Vladimir Devidé. A proof of Zermelo's theorem. The journal of symbolic logic, vol. 32 , p. 366. [REVIEW]Garrel Pottinger - 1971 - Journal of Symbolic Logic 36 (4):681.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark