Complete infinitary type logics

DOI10.1023/A:1005271521209zbMath0943.03031OpenAlexW1566816165MaRDI QIDQ1970601

J. W. Degen

Publication date: 21 March 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005271521209

zbMATH Keywords

logicismcut-eliminationtype theorysemantic completenessinfinitary sequent calculiinfinitary type logicTakeuti's conjecture

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Other infinitary logic (03C75)

This page was built for publication: Complete infinitary type logics