Tsutomu Hosoi. On intermediate logics. Journal of the Faculty of Science, University of Tokyo, section I, vol. 14 , pp. 293–312, and vol. 16 , pp. 1–12 [Book Review]

Journal of Symbolic Logic 36 (2):329-330 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270285

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

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

On intermediate Logics I.Tsutomo Hosoi - 1967 - Journal of the Faculty of Sciences, University of Tokyo Section 1 14:293--312.
Hosoi Tsutomu. The separation theorem on the classical system. Journal of the Faculty of Science, University of Tokyo, section I, Mathematics, astronomy, physics, chemistry, vol. 12 part 2 , pp. 223–230. [REVIEW]T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (1):128-128.
The axiomatization of the intermediate propositional systems S2 of Godel.Tsutomo Hosoi - 1966 - Journal of the Faculty of Sciences, University of Tokyo Section 1 13:183--187.
On the axiomatic method and the algebraic method for dealing with propositional logics.Tsutomo Hosoi - 1967 - Journal of the Faculty of Sciences, University of Tokyo Section 1 14:131--169.
Review: Tsutomu Hosoi, On Intermediate Logics. [REVIEW]A. S. Troelstra - 1971 - Journal of Symbolic Logic 36 (2):329-330.
A study of intermediate propositional logics on the third slice.Tsutomu Hosoi & Isao Masuda - 1993 - Studia Logica 52 (1):15 - 21.
On Intermediate Logics.Tsutomu Hosoi - 1971 - Journal of Symbolic Logic 36 (2):329-330.
The separation theorem on the classical system.Tsutomo Hosoi - 1966 - Journal of the Faculty of Sciences, University of Tokyo Section 1 12:223--230.
Pseudo two-valued evaluation method for intermediate logics.Tsutomu Hosoi - 1986 - Studia Logica 45 (1):3 - 8.
Finite Logics and the simple substitution property.Tsutomu Hosoi & Katsumi Sasaki - 1990 - Bulletin of the Section of Logic 19 (3):74-78.
On classification of commutative BCK-logics'.Kazimiera Dyrda - 1985 - Bulletin of the Section of Logic 14 (1):30-32.
On the Separation Theorem of Intermediate Propositional Calculi.Tsutomu Hosoi - 1969 - Journal of Symbolic Logic 34 (3):505-505.
Ikuo kabashima faculty of law, tokyo university, e-mail: Kabashima@ ju-tokyo. Ac. jp Steven R. Reed faculty of policy studies, chuo university, e-mail: SReed@ fps. Chuo-u. Ac. jp. [REVIEW]Changing Coalitions - 2000 - Japanese Journal of Political Science 1 (2):229-248.
Ono Katudi. Logische Untersuchungen über die Grundlagen der Mathematik. Journal of the Faculty of Science, Imperial University of Tokyo, section I, vol. 3 part 7 , pp. 329–389. [REVIEW]Saunders MacLane - 1939 - Journal of Symbolic Logic 4 (2):89-90.
Shôji Maehara. Another proof of Takeuti's theorems on Skolem's paradox. Journal of the Faculty of Science, University of Tokyo, section I, vol. 7 part 5 , pp. 541–556. [REVIEW]Erwin Engeler - 1966 - Journal of Symbolic Logic 31 (4):659-659.

Analytics

Added to PP
2016-06-30

Downloads
22 (#697,485)

6 months
4 (#790,778)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references