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

DOI10.4288/JAFPOS1956.2.55zbMATH Open0109.00804OpenAlexW589649260MaRDI QIDQ3845372

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)

Related Items (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)