Complete infinitary type logics
type: Item
instance of: scholarly article
title: Complete infinitary type logics
zbMATH Open document ID: 0943.03031
DOI: 10.1023/A:1005271521209
author: Wolfgang Degen
published in: Studia Logica
publication date: 2000-03-21T00:00:00Z
Mathematics Subject Classification ID: 03C75
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 1420247
zbMATH Keywords: infinitary sequent calculi
zbMATH Keywords: type theory
zbMATH Keywords: Takeuti's conjecture
zbMATH Keywords: logicism
zbMATH Keywords: infinitary type logic
zbMATH Keywords: cut-elimination
zbMATH Keywords: semantic completeness
MaRDI profile type: Publication
full work available at URL: a:1005271521209
OpenAlex ID: W1566816165
description: scientific article; zbMATH DE number 1420247