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.
Publisher
Cambridge University Press (CUP)
Reference12 articles.
1. On a Practical Way of Describing Formal Deductions
2. Der Minimalkalkül, ein reduzierter intutionistischer Formalismus;Johansson;Compositio Mathematicae,1936
3. A Theory of Mathematical Objects as a Prototype of Set Theory
4. Intuitionistische Untersuchungen der formalistischen Logik
5. Sur quelques points de la logique de M. Brouwer, Academie Royale de Belgique, Bull;Glivenko;de la classe des sciences, ser,1929
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献