Tsutomu Hosoi. On the separation theorem of intermediate propositional calculi. Proceedings of the Japan Academy of Sciences, vol. 42 , pp. 535–538. - Tsutomu Hosoi. The separable axiomatization of the intermediate propositional systems Sn of Gödei. Proceedings of the Japan Academy of Sciences, vol. 42 , pp. 1001–1006 [Book Review]

Journal of Symbolic Logic 34 (3):505 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270930

Links

PhilArchive



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

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 the Separation Theorem of Intermediate Propositional Calculi.Tsutomu Hosoi - 1969 - Journal of Symbolic Logic 34 (3):505-505.
Kiyoshi Iséki. On axiom systems of propositional calculi. XV. Proceedings of the Japan Academy, vol. 42 , pp. 217–220. - Yoshinari Arai. On axiom systems of propositional calculi. XVII. Proceedings of the Japan Academy, vol. 42 , pp. 351–354. - Shôtarô Tanaka. On axiom systems of propositional calculi. XVIII. Proceedings of the Japan Academy, vol. 42 , pp. 355–357. - Yoshinari Arai and Shôtarô Tanaka. On axiom systems of propositional calculi. XIX. Proceedings of the Japan Academy, vol. 42 , pp. 358–360. - Shôtarô Tanaka. On axiom systems of propositional calculi. XX. Proceedings of the Japan Academy, vol. 42 , pp. 361–363. [REVIEW]Newton C. A. da Costa - 1973 - Journal of Symbolic Logic 38 (3):521.
Yasuyuki Imai and Kiyoshi Iséki. On axiom systems of propositional calculi. I. Proceedings of the Japan Academy, vol. 41 , pp. 436–439. - Yoshinari Arai. On axiom systems of propositional calculi. II.Proceedings of the Japan Academy, vol. 41 , pp. 440–442. - Yoshinari Arai. On axiom systems of propositional calculi. III.Proceedings of the Japan Academy, vol. 41 , pp. 570–574. - Kiyoshi Iséki. On axiom systems ofpropositional calculi. IV.Proceedings of the Japan Academy, vol. 41 , pp. 575–577. - Kiyoshi Iséki and Shôtarô Tanaka. On axiom systems of propositional calculi. V.Proceedings of the Japan Academy, vol. 41 , pp. 661–662. - Shôtarô Tanaka. On axiom systems ofpropositional calculi. VI.Proceedings of the Japan Academy, vol. 41 , pp. 663–666. - Yoshinari Arai and Kiyoshi Iséki. On axiom systems of propositional calculi. VII.Proceedings of the Japan Academy, vol. 41 , pp. 667–669. - Shôtarô Tanaka. On axiom systems of propositional calculi. VIII.Proceedings of the Japan Academy, vol. [REVIEW]Alan Rose - 1969 - Journal of Symbolic Logic 34 (1):122-124.
Kiyoshi Iséki. Algebraic formulations of propositional calculi. Proceedings of the Japan Academy, vol. 41 , pp. 803–807. - Kiyoshi Iséki. Axiom systems of B-algebra. Proceedings of the Japan Academy, vol. 41 , pp. 808–811. - Kiyoshi Iséki. A characterization of Boolean algebra. Proceedings of the Japan Academy, vol. 41 , pp. 893–897. - Yoshinari Arai and Kiyoshi Iséki. Axiom systems of B-algebra. II. Proceedings of the Japan Academy, vol. 41 , pp. 908–910. [REVIEW]Alfred Horn - 1969 - Journal of Symbolic Logic 33 (4):625-626.
Kiyoshi Iséki. An algebra related with a propositional calculus. Proceedings of the Japan Academy, vol. 42 , pp. 26–29. - Yoshinari Arai, Kiyoshi Iséki, and Shôtarô Tanaka. Characterizations of BCI, BCK-algebras. Proceedings of the Japan Academy, vol. 42 , pp. 105–107. - Kiyoshi Iséki. Algebraic formulation of propositional calculi with general detachment rule. Proceedings of the Japan Academy, vol. 43 , pp. 31–34. [REVIEW]R. B. Angell - 1970 - Journal of Symbolic Logic 35 (3):465-466.
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.
A study of intermediate propositional logics on the third slice.Tsutomu Hosoi & Isao Masuda - 1993 - Studia Logica 52 (1):15 - 21.
Algebraic Proof of the Separation Theorem on Classical Propositional Calculus.Tsutomu Hosoi - 1968 - Journal of Symbolic Logic 33 (1):128-129.
Gentzen-type formulation of the prepositional logic LQ.Tsutomu Hosoi - 1988 - Studia Logica 47 (1):41 - 48.
On Intermediate Logics.Tsutomu Hosoi - 1971 - Journal of Symbolic Logic 36 (2):329-330.
Review: Tsutomu Hosoi, On Intermediate Logics. [REVIEW]A. S. Troelstra - 1971 - Journal of Symbolic Logic 36 (2):329-330.
The Separation Theorem on the Classical System.Tsutomu Hosoi - 1968 - Journal of Symbolic Logic 33 (1):128-128.
A Remark on Propositional Calculi with Variable Functors.Y. Arai & S. Tanaka - 1966 - Proceedings of the Japan Academy 42:1056-1057.
Review: Tsutomu Hosoi, The Separation Theorem on the Classical System. [REVIEW]T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (1):128-128.
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. [REVIEW]A. S. Troelstra - 1971 - Journal of Symbolic Logic 36 (2):329-330.

Analytics

Added to PP
2013-11-03

Downloads
29 (#536,973)

6 months
3 (#992,474)

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