Cargando…

The functional interpretation of logical deduction /

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the la...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Queiroz, Ruy J. G. B. de
Otros Autores: Oliveira, Anjolina G. de, Gabbay, Dov M., 1945-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore : World Scientific, ©2012.
Colección:Advances in logic ; v. 5.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ma 4500
001 EBSCO_ocn785777991
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cn|||||||||
008 120203s2012 si ob 001 0 eng d
040 |a E7B  |b eng  |e pn  |c E7B  |d OCLCQ  |d YDXCP  |d OCLCQ  |d UIU  |d OCLCQ  |d N$T  |d OCLCQ  |d OCLCF  |d DEBSZ  |d COO  |d OCLCQ  |d AZK  |d AGLDB  |d MOR  |d PIFAG  |d OTZ  |d ZCU  |d MERUC  |d OCLCQ  |d U3W  |d STF  |d WRM  |d VTS  |d ICG  |d VT2  |d AU@  |d JBG  |d WYU  |d OCLCQ  |d TKN  |d LEAUB  |d DKC  |d OCLCQ  |d M8D  |d UKAHL  |d OCLCO  |d OCLCQ 
019 |a 961615335  |a 962706629  |a 1058116967  |a 1087471204 
020 |a 9789814360968  |q (electronic bk.) 
020 |a 9814360961  |q (electronic bk.) 
020 |z 9814360953 
020 |z 9789814360951 
029 1 |a AU@  |b 000053309912 
029 1 |a CHNEW  |b 000624041 
029 1 |a DEBBG  |b BV043154219 
029 1 |a DEBBG  |b BV044162035 
029 1 |a DEBSZ  |b 405243812 
029 1 |a DEBSZ  |b 42128448X 
029 1 |a DEBSZ  |b 454997221 
029 1 |a NZ1  |b 15586292 
035 |a (OCoLC)785777991  |z (OCoLC)961615335  |z (OCoLC)962706629  |z (OCoLC)1058116967  |z (OCoLC)1087471204 
050 4 |a BC71  |b .Q45 2012eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511.3  |2 22 
049 |a UAMI 
100 1 |a Queiroz, Ruy J. G. B. de. 
245 1 4 |a The functional interpretation of logical deduction /  |c Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay. 
260 |a Singapore :  |b World Scientific,  |c ©2012. 
300 |a 1 online resource (xxxii, 266 pages). 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Advances in logic ;  |v v. 5 
504 |a Includes bibliographical references (pages 253-264) and index. 
505 0 |a 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. 
520 |a This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Logic. 
650 0 |a Modality (Logic) 
650 6 |a Modalité (Logique) 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Logic.  |2 fast  |0 (OCoLC)fst01002014 
650 7 |a Modality (Logic)  |2 fast  |0 (OCoLC)fst01024350 
700 1 |a Oliveira, Anjolina G. de. 
700 1 |a Gabbay, Dov M.,  |d 1945- 
776 0 8 |i Print version:  |a Queiroz, Ruy J.G.B. de.  |t Functional interpretation of logical deduction.  |d Singapore : World Scientific, ©2012  |w (DLC) 2012359592 
830 0 |a Advances in logic ;  |v v. 5. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=521264  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH25589507 
938 |a ebrary  |b EBRY  |n ebr10529392 
938 |a EBSCOhost  |b EBSC  |n 521264 
938 |a YBP Library Services  |b YANK  |n 7223094 
994 |a 92  |b IZTAP