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 [Book Review]

Journal of Symbolic Logic 38 (3):521 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273060

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,497

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

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. 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.
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.
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. [REVIEW]Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):505.
Shôtarô Tanaka. On axioms of ontology. Proceedings of the Japan Academy, vol. 44 , pp. 54–55. - Shôtarô Tanaka. On theorems of ontology. Proceedings of the Japan Academy, vol. 44 , pp. 231–233. [REVIEW]Boguslaw Iwanus - 1972 - Journal of Symbolic Logic 37 (1):192.
Tsutomu Hosoi. Algebraic proof of the separation theorem on classical propositional calculus. Proceedings of the Japan Academy, vol. 42 , pp. 67–69. - Tsutomu Hosoi. Algebraic proof of the separation theorem on Dummett's LC. Proceedings of the Japan Academy, vol. 42 , pp. 693–695. [REVIEW]Alfred Horn - 1968 - Journal of Symbolic Logic 33 (1):128-129.
Kiyoshi Iséki. On the cut operation in Gentzen calculi. Proceedings of the Japan Academy, vol. 32 , pp. 719–721, and vol. 33 , pp. 98–99. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):528.
Hanazawa M.. A characterization of axiom schema playing the rôle of tertium non datur ir intuitionistic logic. Proceedings of the Japan Academy, vol. 42 , pp. 1007–1010. [REVIEW]Toshio Umezawa - 1969 - Journal of Symbolic Logic 33 (4):607-608.
A Remark on Propositional Calculi with Variable Functors.Y. Arai & S. Tanaka - 1966 - Proceedings of the Japan Academy 42:1056-1057.
Motokiti Kondô and Haruo Murata. On proof retrieval: problem-solving machines. I.Proceedings of the Japan Academy, vol. 41 , pp. 254–259. - Motokiti Kondô and Haruo Murata. Standard form in PGO and transformation algorithm: problem-solving machines. II.Proceedings of the Japan Academy, vol. 41 , pp. 355–359. - Motokiti Kondô and Haruo Murata. Transformation of PGO into a calculable expression: problem-solving machines. III.Proceedings of the Japan Academy, vol. 42 , pp. 299–303. [REVIEW]J. A. Robinson - 1969 - Journal of Symbolic Logic 34 (1):132-133.

Analytics

Added to PP
2016-06-30

Downloads
25 (#867,763)

6 months
5 (#1,013,271)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references