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)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2270285
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,865
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.
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.
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.
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.

Analytics

Added to PP index
2016-06-30

Total views
15 ( #551,940 of 2,266,158 )

Recent downloads (6 months)
8 ( #145,059 of 2,266,158 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature