Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types

DOI10.4288/JAFPOS1956.2.55MaRDI QIDQ3845372zbMATH OpenOpenAlexFDO

Authors Shôji Maehara

Publication date 1962

Published in Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4288/jafpos1956.2.55

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(1)

• Cut-elimination for simple type theory with an axiom of choice

This page was built for publication: Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types

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