A Certain Kind of Formal Theories

DOI10.1017/S0027763000011466zbMath0142.24601MaRDI QIDQ5517665

Katuzi Ono

Publication date: 1965

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

mathematical logic

Related Items

On Universal Character of the Primitive Logic ⋮ Taboo Versus Axiom ⋮ Reinforced Logics ⋮ On Systems of Self-Consistent Abstractions ⋮ Formal System Having Just One Primitive Notion ⋮ On Development of Formal Systems Starting from Primitive Logic ⋮ On a Formalism Which Makes any Sequence of Symbols Well-Formed ⋮ Certain Method for Generating a Series of Logics ⋮ A Formalism for Primitive Logic and Mechanical Proof-Checking ⋮ A Remark on the Intersection of Tow Logics ⋮ A Study on Formal Deductions in the Primitive Logic

Cites Work

• On Gödels's theorem
• Untersuchungen über das logische Schliessen. I
• On a Practical Way of Describing Formal Deductions
• A Stronger System of Object Theory as a Prototype of Set Theory
• Intuitionistische Untersuchungen der formalistischen Logik