Chargement en cours…
Two papers on the predicate calculus /
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Providence :
American Mathematical Society,
1952.
|
| Collection: | Memoirs of the American Mathematical Society ;
no. 10. |
| Sujets: | |
| Accès en ligne: | Texto completo |
Table des matières:
- PERMUTABILITY OF INFERENCES IN GENTZEN'S CALCULI LK AND LJ
- 1. THE FORMAL SYSTEM G
- 2. RELATIONSHIPS IN A PROOF IN G
- 3 . INTERCHANGE OF ADJACENT LOGICAL INFERENCES
- 4. PERMUTABILITY OF LOGICAL INFERENCES
- FINITE AXIOMATIZABILITY OF THEORIES IN THE PREDICATE CALCULUS USING ADDITIONAL PREDICATE SYMBOLS
- 1. H-NUMBERS
- 2. A PRIMITIVE RECURSIVE ENUMERATION OF H-NUMBERS
- 3 . THE SYSTEM S[sub(1)]
- 4. THE SYSTEMS S[sub(2)], S[sub(3)]
- 5. THE SYSTEMS S[sub(0)], S
- 6. A NON-CONSTRUCTIVE PROOF OF CONSISTENCY FOR THE CLASSICAL CASE.
- 7. EFFECT OF THE EQUALITY AXIOMS WITH A NEW EQUALITY SYMBOL
- 8. EFFECT OF THE AXIOMS OF S[sub(1)]
- 9. EFFECT OF THE AXIOM OF S[sub(2)]
- 10. EFFECT OF THE AXIOMS OF S[sub(3)]
- 11. CONCLUSION OF THE CONSISTENCY PROOF
- BIBLIOGRAPHY.