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

Journal of Symbolic Logic 35 (3):465-466 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270728

Links

PhilArchive



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

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. 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.
A Remark on Propositional Calculi with Variable Functors.Y. Arai & S. Tanaka - 1966 - Proceedings of the Japan Academy 42:1056-1057.
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: Kiyoshi Iseki, On the Cut Operation in Gentzen Calculi. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):528-528.
Jan Łukasiewicz. On variable functors of propositional arguments. Proceedings of the Royal Irish Academy, vol. 64 section A no. 2 , pp. 25–35. - C. A. Meredith. On an extended system of the propositional calculus. Proceedings of the Royal Irish Academy, vol. 64 section A no. 3 , pp. 37–47. [REVIEW]Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):229-230.
Review: Kiyoshi Iseki, Symbolic Logic (Propositional Logic). [REVIEW]A. Nakamura - 1970 - Journal of Symbolic Logic 35 (4):580-581.
On a problem on BCK-algebras.Marek Palasinski - 1981 - Bulletin of the Section of Logic 10 (2):93-94.
Review: Eugen Mihailescu, Generalization of Some Normal Forms. [REVIEW]Kiyoshi Iseki - 1970 - Journal of Symbolic Logic 35 (2):329-329.
Miki Kiyoshi, 1897-1945: Japan's itinerant philosopher.Susan C. Townsend - 2009 - Boston: Brill.
Review: E. William Chapin, Gentzen-Like Systems for Partial Propositional Calculi. [REVIEW]K. Iseki - 1975 - Journal of Symbolic Logic 40 (3):469-469.
Maehara Shôji. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 , pp. 923–926. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
Some remarks on wmv-algebras.Kazimiera Dyrda - 1983 - Bulletin of the Section of Logic 12 (2):55-61.
An Algebra Related with a Propositional Calculus.Yoshinari Arai - 1970 - Journal of Symbolic Logic 35 (3):465-466.

Analytics

Added to PP
2013-11-03

Downloads
53 (#300,630)

6 months
5 (#637,009)

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