Simple type theory of Gentzen style with the inference of extensionality

DOI10.3792/pja/1195521329zbMath0223.02022OpenAlexW2025828824MaRDI QIDQ5628098

Moto-o Takahashi

Publication date: 1968

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195521329

Mathematics Subject Classification ID

Related Items (2)

Completeness of cut-free type theories ⋮ Analytic tableaux for higher-order logic with choice

Cites Work

• A proof of cut-elimination theorem in simple type-theory
• Syntactical and semantical properties of simple type theory
• Completeness in the theory of types

This page was built for publication: Simple type theory of Gentzen style with the inference of extensionality