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
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, Flexary connectives in Mizar, Semantics of Mizar as an Isabelle object logic, A Brief Overview of Mizar
Cites Work