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

&
Annals of the Japan Association for Philosophy of Science 2 (2):55-64 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.2.55

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Shôji Maehara - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
Maehara Shôji. Cut-elimination theorem concerning a formal system for ramified theory of types which admits quantifications on types. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 2 , pp. 55–64. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (2):325-325.
Maehara Shôji. General recursive functions in the number-theoretic formal system. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 2 , pp. 119–130. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing.Steffen van Bakel - 2004 - Notre Dame Journal of Formal Logic 45 (1):35-63.
Shôji Maehara, Toshio Nishimura, und Setsuya Seki. Non-constructive proofs of a metamathematical theorem concerning the consistency of analysis and its extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 , S. 269–288. [REVIEW]K. Schütte - 1967 - Journal of Symbolic Logic 32 (2):283-284.
Shôji Maehara. A system of simple type theory with type variables. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 , pp. 131–137. [REVIEW]Bede Rundle - 1974 - Journal of Symbolic Logic 39 (3):604-605.
Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order.Mitio Takano - 1988 - Annals of the Japan Association for Philosophy of Science 7 (3):117-123.
A note on an alternative Gentzenization of RW+∘.Mirjana Ilić - 2021 - Mathematical Logic Quarterly 67 (2):186-192.
Dedicated for the memory of the late Professor S. Maehara.Mitio Takano - forthcoming - Annals of the Japan Association for Philosophy of Science.
The Origin of the Theory of Types.Ryo Ito - 2018 - Annals of the Japan Association for Philosophy of Science 27:27-44.

Analytics

Added to PP
2016-06-30

Downloads
21 (#1,005,339)

6 months
7 (#706,906)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references