A transfinite type theory with type variables

zbMath0132.24504MaRDI QIDQ2395467

Peter B. Andrews

Publication date: 1965

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

mathematical logic

Related Items

A Bit of History Related to Logic Based on Equality, Remarks on Levy's reflection axiom, Resolution in type theory, Higher-order algebra with transfinite types, Coquand's calculus of constructions: A mathematical foundation for a proof development system, Supra-logic: using transfinite type theory with type variables for paraconsistency, The \(HOL\) logic extended with quantification over type variables, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction