Cargando…
Two papers on the predicate calculus /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Providence :
American Mathematical Society,
1952.
|
| Colección: | Memoirs of the American Mathematical Society ;
no. 10. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.