Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71 [Book Review]

Journal of Symbolic Logic 34 (2):307-307 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271136

Links

PhilArchive



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

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

Review: Katuzi Ono, On a Practical Way of Describing Formal Deductions; Katuzi Ono, New Formulation of the Axiom of Choice by Making use of the Comprehension Operator. [REVIEW]Elliott Mendelson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
Ono Katuzi. On some properties of binary relations. Nagoya mathematical journal, vol. 12 , pp. 161–170.K. E. Aubert - 1959 - Journal of Symbolic Logic 24 (3):253-254.
Ono Katuzi. A set theory founded on unique generating principle. Nagoya mathematical journal, vol. 12 , pp. 151–159.Abraham A. Fraenkel - 1959 - Journal of Symbolic Logic 24 (3):227-227.
Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71. [REVIEW]Katuzi Ono - 1969 - Journal of Symbolic Logic 34 (2):307-307.
Umezawa Toshio. Über die Zwischensysteme der Aussagenlogik. Nagoya mathematical journal. Bd. 9 , S. 181–189.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (3):324-325.
Maehara Shôji. Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya mathematical journal, vol. 7 , pp. 45–64. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (1):79-80.
Ponasse Daniel. Problèmes d′universalité s′introduisant dans l′algébrisation de la logique mathématique. Nagoya mathematical journal, vol. 20 , pp. 29–73, and Vol. 21 , pp. 61–110. [REVIEW]G. Fuhrken - 1967 - Journal of Symbolic Logic 32 (3):417-418.
A Certain Kind of Formal Theories.Katuzi Ono - 1969 - Journal of Symbolic Logic 34 (3):503-503.
On the significance of choice sets with incompatibilities.Vivian Charles Walsh - 1967 - Philosophy of Science 34 (3):243-250.
Extending Independent Sets to Bases and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (1):92-98.
Review: Katuzi Ono, A Certain Kind of Formal Theories. [REVIEW]Jean Ladriere - 1969 - Journal of Symbolic Logic 34 (3):503-503.
The Axiom of Choice in Quantum Theory.Norbert Brunner, Karl Svozil & Matthias Baaz - 1996 - Mathematical Logic Quarterly 42 (1):319-340.
Disasters in topology without the axiom of choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Kuroda Sigekatu. Sûgaku no tyokkansei to sono mu-muzyunsei ni tuite . Kisokagaku, vol. 1 no. 2 , pp. 33–44.Kuroda Sigekatu. Aristotle no ronri to Brouwer no ronri ni tuite . Kagaku, vol. 18 no. 1 , pp. 2–10.Kuroda Sigekatu. Intuitionistische Untersuchungen der formalistischen Logik. Nagoya mathematical journal, vol. 2 , pp. 35–47. [REVIEW]M. Ohnishi - 1956 - Journal of Symbolic Logic 21 (2):196-196.
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (3):359-366.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,316,802)

6 months
1 (#1,459,555)

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