Katuzi Ono

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Toy Languages and Free Imaginations	1982-01-01	Paper
Introduction of a Basic Theory of Objects	1970-01-01	Paper
On a class of set-theoretical interpretations of the primitive logic	1969-01-01	Paper
On a Method of Describing Formal Deductions Convenient for Theoretical Purposes	1969-01-01	Paper
A Study on Formal Deductions in the Primitive Logic	1968-01-01	Paper
A Remark on Peirce’s Rule in Many-Valued Logics	1968-01-01	Paper
On a Class of Truth-Value Evaluations of the Primitive Logic	1968-01-01	Paper
On Formal Theories	1968-01-01	Paper
A System of Mutually Contradictory n Abstractions Whose Proper Sub-Systems Are all Mutually Consistent	1968-01-01	Paper
On tabooistic treatment of proposition logics	1968-01-01	Paper
Reduction of logics to the primitive logic	1967-01-01	Paper
On pairs of very-close formal systems	1967-01-01	Paper
A Lemma which Distinguishes Minimal Logics from Other Logics	1966-01-01	Paper
A Pursuit of Simple Basic System	1966-01-01	Paper
On Universal Character of the Primitive Logic	1966-01-01	Paper
Taboo Versus Axiom	1966-01-01	Paper
Reinforced Logics	1966-01-01	Paper
A Formalism for the Classical Sentence-Logic	1966-01-01	Paper
Mutual Contradiction of Two Self-Consistent Abstractions	1966-01-01	Paper
Formal System Having Just One Primitive Notion	1966-01-01	Paper
On Development of Formal Systems Starting from Primitive Logic	1966-01-01	Paper
On a Characteristic Feature of the Positive Logics	1966-01-01	Paper
A Formalism for Primitive Logic and Mechanical Proof-Checking	1966-01-01	Paper
On a Theory Objects Based on a Single Axiom Scheme	1966-01-01	Paper
A Certain Kind of Formal Theories	1965-01-01	Paper
A Stronger System of Object Theory as a Prototype of Set Theory	1963-01-01	Paper
New Formulation of the Axiom of Choice by making use of the Comprehension Operator	1963-01-01	Paper
On a Practical Way of Describing Formal Deductions	1962-01-01	Paper
A Theory of Mathematical Objects as a Prototype of Set Theory	1962-01-01	Paper
On Some Properties of Binary Relations	1957-01-01	Paper
A Set Theory Founded on Unique Generating Principle	1957-01-01	Paper

Research outcomes over time

This page was built for person: Katuzi Ono