A new way of normalizing intuitionist propositional logic
- 32 Downloads
KeywordsMathematical 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.
- Haskell B. Curry andRobert Feys,Combinatory logic, Vol. 1., North-Holland, 1958.Google Scholar
- J. E. Fenstad (editor),Proceedings of the Second Scandinavian Logic Symposium, North-Holland, 1971.Google Scholar
- W. A. Howard,Formulas — as — types, photocopy of handwritten notes circulated at Stanford, 1970.Google Scholar
- Dag Prawitz,Natural deduction, Almqvist and Wiksell, 1965.Google Scholar
© Warszawa 1976