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

Journal of Symbolic Logic 34 (1):122-124 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271010

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

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.
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.
A Remark on Propositional Calculi with Variable Functors.Y. Arai & S. Tanaka - 1966 - Proceedings of the Japan Academy 42:1056-1057.
On Axiom Systems of Propositional Calculi. I.Yasuyuki Imai & Yoshinari Arai - 1969 - Journal of Symbolic Logic 34 (1):122-124.
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.
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.
Algebraic Formulations of Propositional Calculi.Kiyoshi Iseki & Yoshinari Arai - 1968 - Journal of Symbolic Logic 33 (4):625-626.
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]Bogusław Iwanuś - 1972 - Journal of Symbolic Logic 37 (1):192.
Review: E. William Chapin, Gentzen-Like Systems for Partial Propositional Calculi. [REVIEW]K. Iseki - 1975 - Journal of Symbolic Logic 40 (3):469-469.
On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz.Mateusz M. Radzki - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):27-32.
Review: Ronald Harrop, A Relativization Procedure for Propositional Calculi, with an Application to a Generalized form of Post's Theorem; Ronald Harrop, J. N. Crossley, M. A. E. Dummett, Some Generalizations and Applications of a Relativization Procedure for propositional Calculi. [REVIEW]W. E. Singletary - 1967 - Journal of Symbolic Logic 32 (1):125-126.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
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 Simulation of Natural Deduction and Gentzen Sequent Calculus.Daniil Kozhemiachenko - 2018 - Logic and Logical Philosophy 27 (1):67-84.

Analytics

Added to PP
2016-06-30

Downloads
45 (#345,268)

6 months
11 (#222,787)

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