Review: Shozo Omori, Formalization of an Intensional Logic [Book Review]

Journal of Symbolic Logic 20 (2):173-173 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266920

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Ômori Shozo. Naihó ronrigaku no keiskikika . The proceedings of the Department of Humanities, College of General Education, University of Tokyo, series of philosophy, vol. 3 no. 1 , pp. 129–149. [REVIEW]S. Kuroda - 1955 - Journal of Symbolic Logic 20 (2):173-173.
Review: S.-Y. Kuroda, Classes of Languages and Linear-Bounded Automata. [REVIEW]Peter S. Landweber - 1967 - Journal of Symbolic Logic 32 (1):116-117.
Review: Jerzy Los, Many-Valued Logics and the Formalization of Intensional Functions. [REVIEW]Roman Suszko - 1949 - Journal of Symbolic Logic 14 (1):64-65.
Review: Sigekatu Kuroda, An Examination of the Foundations of Analysis. [REVIEW]M. Ohnishi - 1956 - Journal of Symbolic Logic 21 (2):196-197.
Review: Dana S. Scott, Background to Formalization. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):316-316.
Myhill J.. Problems arising in the formalization of intensional logic. Logique et analyse, n.s. vol. 1 , pp. 74–83.Bede Rundle - 1972 - Journal of Symbolic Logic 37 (1):180-180.
S.-Y. Kuroda. Classes of languages and linear-bounded automata. Information and control, vol. 7 , pp. 207–223.Peter S. Landweber - 1967 - Journal of Symbolic Logic 32 (1):116-117.
Glivenko and Kuroda for simple type theory.Chad E. Brown & Christine Rizkallah - 2014 - Journal of Symbolic Logic 79 (2):485-495.
Review: Rudolf Carnap, Formalization of Logic. [REVIEW]Carl G. Hempel - 1943 - Journal of Symbolic Logic 8 (3):81-83.
Review: Raili Kauppi, Some Problems of Intensional Logic. [REVIEW]K. J. J. Hintikka - 1960 - Journal of Symbolic Logic 25 (4):340-340.

Analytics

Added to PP
2013-11-22

Downloads
31 (#503,596)

6 months
9 (#436,568)

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