On a Practical Way of Describing Formal Deductions

DOI10.1017/S0027763000023795MaRDI QIDQ3848181zbMATH OpenFDO

Authors Katuzi Ono

Publication date 1962

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

Full work available at URL https://doi.org/10.1017/S0027763000023795

zbMATH Keywords

mathematical logic

Cites work

• Untersuchungen über das logische Schliessen. I

Cited in

(13)

• Flexary connectives in Mizar
• Semantics of Mizar as an Isabelle object logic
• A Brief Overview of Mizar
• A Certain Kind of Formal Theories
• A Study on Formal Deductions in the Primitive Logic
• On a Class of Truth-Value Evaluations of the Primitive Logic
• On Systems of Self-Consistent Abstractions
• On a Method of Describing Formal Deductions Convenient for Theoretical Purposes
• A Remark on the Intersection of Tow Logics
• On Reducibility of Provability in the Primitive Logic [LO]
• On a Theory Objects Based on a Single Axiom Scheme
• A Stronger System of Object Theory as a Prototype of Set Theory
• New Formulation of the Axiom of Choice by making use of the Comprehension Operator

This page was built for publication: On a Practical Way of Describing Formal Deductions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3848181)