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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore
World Scientific Pub. Co.
c2012
|
| Series: | Advances in logic
v. 5 |
| Subjects: | |
| Online Access: | FHN01 Volltext |
| Summary: | 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 |
| Physical Description: | xxxii, 266 p |
| ISBN: | 9789814360968 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044638674 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s2012 |||| o||u| ||||||eng d | ||
| 020 | |a 9789814360968 |c electronic bk. |9 978-981-4360-96-8 | ||
| 024 | 7 | |a 10.1142/8215 |2 doi | |
| 035 | |a (ZDB-124-WOP)00002568 | ||
| 035 | |a (OCoLC)1012695219 | ||
| 035 | |a (DE-599)BVBBV044638674 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Queiroz, Ruy J. G. B. de |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The functional interpretation of logical deduction |c Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c2012 | |
| 300 | |a xxxii, 266 p | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Advances in logic |v v. 5 | |
| 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 | ||
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 0 | 7 | |a Logischer Schluss |0 (DE-588)4139983-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Interpretation |0 (DE-588)4072905-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logischer Schluss |0 (DE-588)4139983-3 |D s |
| 689 | 0 | 1 | |a Interpretation |0 (DE-588)4072905-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Oliveira, Anjolina G. de |e Sonstige |4 oth | |
| 700 | 1 | |a Gabbay, Dov M. |d 1945- |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789814360951 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9814360953 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030036648 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804178055814447104 |
|---|---|
| any_adam_object | |
| author | Queiroz, Ruy J. G. B. de |
| author_facet | Queiroz, Ruy J. G. B. de |
| author_role | aut |
| author_sort | Queiroz, Ruy J. G. B. de |
| author_variant | r j g b d q rjgbd rjgbdq |
| building | Verbundindex |
| bvnumber | BV044638674 |
| classification_rvk | CC 2600 SK 130 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00002568 (OCoLC)1012695219 (DE-599)BVBBV044638674 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02718nmm a2200517zcb4500</leader><controlfield tag="001">BV044638674</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2012 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814360968</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-4360-96-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/8215</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00002568 </subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012695219</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044638674</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Queiroz, Ruy J. G. B. de</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The functional interpretation of logical deduction</subfield><subfield code="c">Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxxii, 266 p</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Advances in logic</subfield><subfield code="v">v. 5</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interpretation</subfield><subfield code="0">(DE-588)4072905-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Interpretation</subfield><subfield code="0">(DE-588)4072905-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oliveira, Anjolina G. de</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789814360951</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9814360953</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030036648</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044638674 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:54Z |
| institution | BVB |
| isbn | 9789814360968 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030036648 |
| oclc_num | 1012695219 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xxxii, 266 p |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| series2 | Advances in logic |
| spelling | Queiroz, Ruy J. G. B. de Verfasser aut The functional interpretation of logical deduction Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay Singapore World Scientific Pub. Co. c2012 xxxii, 266 p txt rdacontent c rdamedia cr rdacarrier Advances in logic v. 5 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 Logic Modality (Logic) Logischer Schluss (DE-588)4139983-3 gnd rswk-swf Interpretation (DE-588)4072905-9 gnd rswk-swf Logischer Schluss (DE-588)4139983-3 s Interpretation (DE-588)4072905-9 s 1\p DE-604 Oliveira, Anjolina G. de Sonstige oth Gabbay, Dov M. 1945- Sonstige oth Erscheint auch als Druck-Ausgabe 9789814360951 Erscheint auch als Druck-Ausgabe 9814360953 http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc Verlag URL des Erstveroeffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Queiroz, Ruy J. G. B. de The functional interpretation of logical deduction Logic Modality (Logic) Logischer Schluss (DE-588)4139983-3 gnd Interpretation (DE-588)4072905-9 gnd |
| subject_GND | (DE-588)4139983-3 (DE-588)4072905-9 |
| title | The functional interpretation of logical deduction |
| title_auth | The functional interpretation of logical deduction |
| title_exact_search | The functional interpretation of logical deduction |
| title_full | The functional interpretation of logical deduction Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay |
| title_fullStr | The functional interpretation of logical deduction Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay |
| title_full_unstemmed | The functional interpretation of logical deduction Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay |
| title_short | The functional interpretation of logical deduction |
| title_sort | the functional interpretation of logical deduction |
| topic | Logic Modality (Logic) Logischer Schluss (DE-588)4139983-3 gnd Interpretation (DE-588)4072905-9 gnd |
| topic_facet | Logic Modality (Logic) Logischer Schluss Interpretation |
| url | http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc |
| work_keys_str_mv | AT queirozruyjgbde thefunctionalinterpretationoflogicaldeduction AT oliveiraanjolinagde thefunctionalinterpretationoflogicaldeduction AT gabbaydovm thefunctionalinterpretationoflogicaldeduction |