On a Practical Way of Describing Formal Deductions
From MaRDI portal
Publication:3848181
DOI10.1017/S0027763000023795zbMath0111.00703MaRDI QIDQ3848181
Publication date: 1962
Published in: Nagoya Mathematical Journal (Search for Journal in Brave)
Related Items (13)
On Systems of Self-Consistent Abstractions ⋮ On a Method of Describing Formal Deductions Convenient for Theoretical Purposes ⋮ A Brief Overview of Mizar ⋮ 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 ⋮ Flexary connectives in Mizar ⋮ Semantics of Mizar as an Isabelle object logic ⋮ 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
Cites Work
This page was built for publication: On a Practical Way of Describing Formal Deductions
