The following pages link to Katuzi Ono (Q2529959):
Displaying 31 items.
- Reduction of logics to the primitive logic (Q2529960) (← links)
- On a class of set-theoretical interpretations of the primitive logic (Q2535855) (← links)
- A Set Theory Founded on Unique Generating Principle (Q3246551) (← links)
- On Some Properties of Binary Relations (Q3246552) (← links)
- A Theory of Mathematical Objects as a Prototype of Set Theory (Q3289113) (← links)
- On a Practical Way of Describing Formal Deductions (Q3848181) (← links)
- Toy Languages and Free Imaginations (Q3960656) (← links)
- A Certain Kind of Formal Theories (Q5517665) (← links)
- A Pursuit of Simple Basic System (Q5517666) (← links)
- A Remark on Peirce’s Rule in Many-Valued Logics (Q5544269) (← links)
- A Study on Formal Deductions in the Primitive Logic (Q5544271) (← links)
- On a Class of Truth-Value Evaluations of the Primitive Logic (Q5544272) (← links)
- On Universal Character of the Primitive Logic (Q5546770) (← links)
- A Lemma which Distinguishes Minimal Logics from Other Logics (Q5546771) (← links)
- Taboo Versus Axiom (Q5546772) (← links)
- Reinforced Logics (Q5546773) (← links)
- A Formalism for the Classical Sentence-Logic (Q5546774) (← links)
- Mutual Contradiction of Two Self-Consistent Abstractions (Q5546775) (← links)
- Formal System Having Just One Primitive Notion (Q5546777) (← links)
- On Development of Formal Systems Starting from Primitive Logic (Q5546778) (← links)
- On a Characteristic Feature of the Positive Logics (Q5546780) (← links)
- On Formal Theories (Q5549791) (← links)
- A System of Mutually Contradictory <i>n</i> Abstractions Whose Proper Sub-Systems Are all Mutually Consistent (Q5549793) (← links)
- On pairs of very-close formal systems (Q5551128) (← links)
- On tabooistic treatment of proposition logics (Q5556393) (← links)
- On a Method of Describing Formal Deductions Convenient for Theoretical Purposes (Q5582305) (← links)
- A Formalism for Primitive Logic and Mechanical Proof-Checking (Q5586405) (← links)
- Introduction of a Basic Theory of Objects (Q5596217) (← links)
- On a Theory Objects Based on a Single Axiom Scheme (Q5607984) (← links)
- A Stronger System of Object Theory as a Prototype of Set Theory (Q5626660) (← links)
- New Formulation of the Axiom of Choice by making use of the Comprehension Operator (Q5626661) (← links)
