A Certain Kind of Formal Theories
- 1 January 1965
- journal article
- research article
- Published by Cambridge University Press (CUP) in Nagoya Mathematical Journal
- Vol. 25, 59-86
- https://doi.org/10.1017/s0027763000011466
Abstract
A common feature of formal theories is that each theory has its own system of axioms described in terms of some symbols for its primitive notions together with logical symbols. Each of these theories is developed by deduction from its axiom system in a certain logical system which is usually the classical logic of the first order.Keywords
This publication has 6 references indexed in Scilit:
- A Stronger System of Object Theory as a Prototype of Set TheoryNagoya Mathematical Journal, 1963
- On a Practical Way of Describing Formal DeductionsNagoya Mathematical Journal, 1962
- A Theory of Mathematical Objects as a Prototype of Set TheoryNagoya Mathematical Journal, 1962
- On G\"odel's theoremJournal of the Mathematical Society of Japan, 1961
- Intuitionistische Untersuchungen der formalistischen LogikNagoya Mathematical Journal, 1951
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935