Goal-Directed Proof Theory:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2000
|
| Series: | Applied Logic Series
21 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory |
| Physical Description: | 1 Online-Ressource (X, 268 p) |
| ISBN: | 9789401717137 9789048155262 |
| ISSN: | 1386-2790 |
| DOI: | 10.1007/978-94-017-1713-7 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042424267 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2000 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401717137 |c Online |9 978-94-017-1713-7 | ||
| 020 | |a 9789048155262 |c Print |9 978-90-481-5526-2 | ||
| 024 | 7 | |a 10.1007/978-94-017-1713-7 |2 doi | |
| 035 | |a (OCoLC)1184493725 | ||
| 035 | |a (DE-599)BVBBV042424267 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Gabbay, Dov M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Goal-Directed Proof Theory |c by Dov M. Gabbay, Nicola Olivetti |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2000 | |
| 300 | |a 1 Online-Ressource (X, 268 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Applied Logic Series |v 21 |x 1386-2790 | |
| 500 | |a Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory | ||
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Philosophie | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Olivetti, Nicola |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-017-1713-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027859684 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153101039435776 |
|---|---|
| any_adam_object | |
| author | Gabbay, Dov M. |
| author_facet | Gabbay, Dov M. |
| author_role | aut |
| author_sort | Gabbay, Dov M. |
| author_variant | d m g dm dmg |
| building | Verbundindex |
| bvnumber | BV042424267 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1184493725 (DE-599)BVBBV042424267 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-94-017-1713-7 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02574nmm a2200505zcb4500</leader><controlfield tag="001">BV042424267</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401717137</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-017-1713-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048155262</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-5526-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-017-1713-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184493725</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042424267</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-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Goal-Directed Proof Theory</subfield><subfield code="c">by Dov M. Gabbay, Nicola Olivetti</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 268 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">Applied Logic Series</subfield><subfield code="v">21</subfield><subfield code="x">1386-2790</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</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">Olivetti, Nicola</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-017-1713-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859684</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></record></collection> |
| id | DE-604.BV042424267 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:15Z |
| institution | BVB |
| isbn | 9789401717137 9789048155262 |
| issn | 1386-2790 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859684 |
| oclc_num | 1184493725 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (X, 268 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Applied Logic Series |
| spelling | Gabbay, Dov M. Verfasser aut Goal-Directed Proof Theory by Dov M. Gabbay, Nicola Olivetti Dordrecht Springer Netherlands 2000 1 Online-Ressource (X, 268 p) txt rdacontent c rdamedia cr rdacarrier Applied Logic Series 21 1386-2790 Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory Philosophy (General) Logic Computer science Philosophy Programming Languages, Compilers, Interpreters Informatik Philosophie Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s 1\p DE-604 Olivetti, Nicola Sonstige oth https://doi.org/10.1007/978-94-017-1713-7 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Gabbay, Dov M. Goal-Directed Proof Theory Philosophy (General) Logic Computer science Philosophy Programming Languages, Compilers, Interpreters Informatik Philosophie Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 |
| title | Goal-Directed Proof Theory |
| title_auth | Goal-Directed Proof Theory |
| title_exact_search | Goal-Directed Proof Theory |
| title_full | Goal-Directed Proof Theory by Dov M. Gabbay, Nicola Olivetti |
| title_fullStr | Goal-Directed Proof Theory by Dov M. Gabbay, Nicola Olivetti |
| title_full_unstemmed | Goal-Directed Proof Theory by Dov M. Gabbay, Nicola Olivetti |
| title_short | Goal-Directed Proof Theory |
| title_sort | goal directed proof theory |
| topic | Philosophy (General) Logic Computer science Philosophy Programming Languages, Compilers, Interpreters Informatik Philosophie Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Philosophy (General) Logic Computer science Philosophy Programming Languages, Compilers, Interpreters Informatik Philosophie Beweistheorie |
| url | https://doi.org/10.1007/978-94-017-1713-7 |
| work_keys_str_mv | AT gabbaydovm goaldirectedprooftheory AT olivettinicola goaldirectedprooftheory |