Katuzi Ono. A certain kind of formal theories. Nagoya mathematical journal, vol. 25 , pp. 59–86

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270925

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

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]Elliott Mendelson - 1969 - Journal of Symbolic Logic 34 (2):307-307.
Review: Katuzi Ono, A Certain Kind of Formal Theories. [REVIEW]Jean Ladriere - 1969 - Journal of Symbolic Logic 34 (3):503-503.
Katuzi Ono. On universal character of the primitive logic. Nagoya mathematical journal, vol. 27 , pp. 331–353.Jean Ladrière - 1969 - Journal of Symbolic Logic 34 (3):503-504.
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.
A Certain Kind of Formal Theories.Katuzi Ono - 1969 - Journal of Symbolic Logic 34 (3):503-503.
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.
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.
Satoshi Miura. A remark on the intersection of two logics. Nagoya mathematical journal, vol. 26 , pp. 167–171.Jean Ladrière - 1969 - Journal of Symbolic Logic 34 (3):504-505.
Mathematical arguments in context.Jean Paul Van Bendegem & Bart Van Kerkhove - 2009 - Foundations of Science 14 (1-2):45-57.
Scientific Theories.Hans Halvorson - 2016 - In Paul Humphreys (ed.), The Oxford Handbook of Philosophy of Science. Oxford University Press USA. pp. 585-608.
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.
Between mathematical formalism, normative choice rules, and the behavioural sciences : The emergence of rational choice theories in the late 1940s and early 1950s.Herfeld Catherine - 2017 - European Journal of the History of Economic Thought 24 (6):1277-1317.
Deductively Sound Formal Proofs.P. Olcott - manuscript
Review: Katuzi Ono, A Pursuit of Simple Basic Systems. [REVIEW]Jean Ladriere - 1969 - Journal of Symbolic Logic 34 (3):504-504.
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.

Analytics

Added to PP
2016-06-30

Downloads
26 (#577,276)

6 months
6 (#431,022)

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