A Pursuit of Simple Basic System

Annals of the Japan Association for Philosophy of Science 3 (1):6-11 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.3.6

Other Versions

reprint Ono, Katuzi (1969) "A Pursuit of Simple Basic Systems". Journal of Symbolic Logic 34(3):504-504

Links

PhilArchive



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

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

Ono Katuzi. A pursuit of simple basic systems. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 , pp. 6–11. [REVIEW]Jean Ladrière - 1969 - Journal of Symbolic Logic 34 (3):504-504.
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.
The Pursuit of Rigor: Hilbert's axiomatic method and the objectivity of mathematics.Yoshinori Ogawa - 2004 - Annals of the Japan Association for Philosophy of Science 12 (2):89-108.
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.
A Simple Nonmonotonic Logic as a Model of Belief Change.Masaharu Mizumoto - 2003 - Annals of the Japan Association for Philosophy of Science 12 (1):25-52.
The Simple Sentence Puzzle and Ambiguous Co-referential Names.Tora Koyama & Yasuo Nakayama - 2001 - Annals of the Japan Association for Philosophy of Science 10 (3):127-138.
A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
On Numerations of a Formal System.Hidehisa Sakai - 1974 - Annals of the Japan Association for Philosophy of Science 4 (4):227-230.
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.

Analytics

Added to PP
2016-06-30

Downloads
19 (#1,079,394)

6 months
11 (#352,895)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Does Mathematics Need Something other than Logic?Katuzi Ono - 1968 - Annals of the Japan Association for Philosophy of Science 3 (3):93-104.

Add more citations

References found in this work

No references found.

Add more references