The functional interpretation of logical deduction /
Saved in:
Author / Creator: | Queiroz, Ruy J. G. B. de. |
---|---|
Imprint: | Singapore : World Scientific, ©2012. |
Description: | 1 online resource (xxxii, 266 pages). |
Language: | English |
Series: | Advances in logic ; v. 5 Advances in logic ; v. 5. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11149025 |
Table of Contents:
- 1. Labelled natural deduction. 1.1. The role of the labels. 1.2. Canonical proofs and normalisation
- 2. The functional interpretation of implication. 2.1. Introduction. 2.2. Origins. 2.3. Types and propositions. 2.4. [symbol]-abstraction and implication. 2.5. Consistency proof. 2.6. Systems of implication and combinators. 2.7. Finale
- 3. The existential quantifier. 3.1. Motivation. 3.2. Quantifiers and normalisation. 3.3. Other approaches to existential quantification. 3.4. Model-theoretic semantics. 3.5. Finale. 3.6. Examples of deduction
- 4. Normalisation. 4.1. Introduction. 4.2. Proof transformations in labelled deduction. 4.3. Equivalences between proofs in LND. 4.4. The term rewriting system for LND. 4.5. Examples of transformations between proofs. 4.6. Final remarks
- 5. Natural deduction for equality. 5.1. Introduction. 5.2. Labelled deduction. 5.3. Finale
- 6. Normalisation for the equality fragment. 6.1. General rules. 6.2. The 'subterm substitution' rule. 6.3. The [symbol]- and [symbol]-rules. 6.4. Term rewriting systems. 6.5. The transformations between proofs in the equational fragment of the LND. 6.6. The rewriting system for the LND equational logic. 6.7. The normalization procedure: some examples. 6.8. Final remarks. 6.9. Appendix: The [symbol]- and [symbol]-reductions for the LND system. 6.10. Termination property for LND(EQ)-TRS
- 7. Modal logics. 7.1. The functional interpretation. 7.2. Modal logics and the functional interpretation. 7.3. Finale
- 8. Meaning and proofs: a reflection on proof-theoretic semantics. 8.1. Proof-theoretic semantics. 8.2. Meaning, use and consequences. 8.3. Meaning and purpose. 8.4. Meaning and use. 8.5. Meaning and the explanation of consequences. 8.6. Use and the explanation of consequences. 8.7. Early signs of 'meaning-use/usefulness-consequences'. 8.8. Normalisation of proofs: the explanation of the consequences. 8.9. Concluding remarks.