Simple type theory of Gentzen style with the inference of extensionality

DOI10.3792/PJA/1195521329zbMATH Open0223.02022OpenAlexW2025828824MaRDI QIDQ5628098FDOQ5628098

Authors: 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

Cites Work

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

Cited In (2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5628098)