Hauptsatz for higher order logic
- 10 October 1968
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 33 (3) , 452-457
- https://doi.org/10.2307/2270331
Abstract
Hauptsatz for higher order logic - Volume 33 Issue 3 - Dag PrawitzKeywords
This publication has 5 references indexed in Scilit:
- Completeness and Hauptsatz for second order logic1Theoria, 1967
- A proof of cut-elimination theorem in simple type-theoryJournal of the Mathematical Society of Japan, 1967
- A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logicBulletin of the American Mathematical Society, 1966
- Syntactical and semantical properties of simple type theoryThe Journal of Symbolic Logic, 1960
- On a generalized logic calculusJapanese journal of mathematics :transactions and abstracts, 1953