Studia Logica

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

A new way of normalizing intuitionist propositional logic

  • Garrel Pottinger
Articles

Keywords

Mathematical Logic Computational Linguistic Propositional Logic Intuitionist Propositional Logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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