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