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 Remark on Peirce’s Rule in Many-Valued Logics	1968-01-01	Paper
A Study on Formal Deductions in the Primitive Logic	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 Pursuit of Simple Basic System	1966-01-01	Paper
On Universal Character of the Primitive Logic	1966-01-01	Paper
A Lemma which Distinguishes Minimal Logics from Other Logics	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
A Theory of Mathematical Objects as a Prototype of Set Theory	1962-01-01	Paper
On a Practical Way of Describing Formal Deductions	1962-01-01	Paper
A Set Theory Founded on Unique Generating Principle	1957-01-01	Paper
On Some Properties of Binary Relations	1957-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Katuzi Ono