|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910480728703321 |
|
|
Autore |
Kleene Stephen Cole <1909-1994, > |
|
|
Titolo |
Two papers on the predicate calculus / / by S.C. Kleene |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence : , : American Mathematical Society, , 1952 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (72 p.) |
|
|
|
|
|
|
Collana |
|
Memoirs of the American Mathematical Society ; ; number 10 |
|
|
|
|
|
|
Soggetti |
|
Calculus |
Predicate calculus |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Cover title. |
"Second printing, with revision, 1967." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Bibliography: pages [67]-68. |
|
|
|
|
|
|
Nota di contenuto |
|
""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"" |
|
|
|
|
|
|
|