Studia Logica

, Volume 35, Issue 4, pp 387–408 | Cite as

A new way of normalizing intuitionist propositional logic

  • Garrel Pottinger


Mathematical Logic Computational Linguistic Propositional Logic Intuitionist Propositional Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Haskell B. Curry andRobert Feys,Combinatory logic, Vol. 1., North-Holland, 1958.Google Scholar
  2. [2]
    J. E. Fenstad (editor),Proceedings of the Second Scandinavian Logic Symposium, North-Holland, 1971.Google Scholar
  3. [3]
    W. A. Howard,Formulas — as — types, photocopy of handwritten notes circulated at Stanford, 1970.Google Scholar
  4. [4]
    Dag Prawitz,Natural deduction, Almqvist and Wiksell, 1965.Google Scholar

Copyright information

© Warszawa 1976

Authors and Affiliations

  • Garrel Pottinger
    • 1
  1. 1.Carnegie-Mellon UniversityPittsburghUSA

Personalised recommendations