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 [Book Review]

Journal of Symbolic Logic 39 (3):604-605 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272914

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

A System of Simple Type Theory with Type Variables.Sh^|^Ocirc Maehara & Ji - 1969 - Annals of the Japan Association for Philosophy of Science 3 (4):131-137.
Review: Shoji Maehara, A System of Simple Type Theory with Type Variables. [REVIEW]Bede Rundle - 1974 - Journal of Symbolic Logic 39 (3):604-605.
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.
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.
Calculabilit^|^eacute; des Fonctionnelles R^|^eacute;cursives Primitives de Type Fini sur les Nombres Naturels.Yoshito Hanatani, Sh^|^Ocirc Maehara & Ji - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):19-30.
Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Sh^|^Ocirc Maehara & Ji - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
General Recursive Functions in the Number-Theoretic Formal System.Sh^|^Ocirc Maehara & Ji - 1957 - Annals of the Japan Association for Philosophy of Science 1 (2):119-130.
A General Theory of Completeness Proofs.Sh^|^Ocirc Maehara & Ji - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):242-256.
Type Theory and the Theory of Meaning: Towards an Intuitionistic View of Language.Hirofumi Saito - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):113-121.
Dedicated for the memory of the late Professor S. Maehara.Mitio Takano - forthcoming - Annals of the Japan Association for Philosophy of Science.
A simple type theory with partial functions and subtypes11Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991. [REVIEW]William M. Farmer - 1993 - Annals of Pure and Applied Logic 64 (3):211-240.
A Simple Type Theory With Partial Functions And Subtypes.William M. Farmer - 1993 - Annals of Pure and Applied Logic 64 (3):211-240.
Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Sh^|^Ocirc Maehara, Ji, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
On the Problem of Hidden Variables in Algebraic Quantum Field Theory.Yuichiro Kitajima - 2006 - Annals of the Japan Association for Philosophy of Science 15 (1):25-38.
Well-ordering proofs for Martin-Löf type theory.Anton Setzer - 1998 - Annals of Pure and Applied Logic 92 (2):113-159.

Analytics

Added to PP
2016-06-30

Downloads
35 (#469,136)

6 months
11 (#270,425)

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