Two papers on the predicate calculus / [electronic resource] by S.C. Kleene.

By: Kleene, Stephen Cole, 1909-1994Contributor(s): Kleene, Stephen Cole, 1909-1994. Permutability of inferences in Gentzen's calculi LK and LJ | Kleene, Stephen Cole, 1909-1994. Finite axiomatizability of theories in the predicate calculus using additional predicate symbolsMaterial type: TextTextSeries: Memoirs of the American Mathematical Society ; no. 10.Publication details: Providence, R.I. : American Mathematical Society, 1967, c1952 (1985 printing)Edition: RevDescription: 1 online resource (68 p.)ISBN: 9780821898895 (online)Subject(s): Predicate calculusAdditional physical formats: Two papers on the predicate calculus /LOC classification: QA3 | .A57 no. 10Online resources: Contents | Contents
Contents:
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 Part I. Construction of the formal system, and proof of completeness 1. $H$-numbers 2. A primitive recursive enumeration of $H$-numbers 3. The system $S_1$ 4. The systems $S_2, S_3$ 5. The systems $S_0,S$ Part II. Proof of consistency 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 $S_1$ 9. Effect of the axiom $S_2$ 10. Effect of the axioms of $S_3$ 11. Conclusion of the consistency proof
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK12463

Includes bibliographical references.

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 Part I. Construction of the formal system, and proof of completeness 1. $H$-numbers 2. A primitive recursive enumeration of $H$-numbers 3. The system $S_1$ 4. The systems $S_2, S_3$ 5. The systems $S_0,S$ Part II. Proof of consistency 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 $S_1$ 9. Effect of the axiom $S_2$ 10. Effect of the axioms of $S_3$ 11. Conclusion of the consistency proof

Access is restricted to licensed institutions

Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012

Mode of access : World Wide Web

Description based on print version record.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha