Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
2000
|
| Series: | Applied Logic Series
17 |
| Subjects: | |
| Links: | https://doi.org/10.1007/978-94-011-4040-9 |
| Item Description: | Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic 'state oriented' properties such as knowledge, belief, time, space, and resources |
| Physical Description: | 1 Online-Ressource (XI, 267 p) |
| ISBN: | 9789401140409 9789401057813 |
| ISSN: | 1386-2790 |
| DOI: | 10.1007/978-94-011-4040-9 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042423926 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2000 xx o|||| 00||| eng d | ||
| 020 | |a 9789401140409 |c Online |9 978-94-011-4040-9 | ||
| 020 | |a 9789401057813 |c Print |9 978-94-010-5781-3 | ||
| 024 | 7 | |a 10.1007/978-94-011-4040-9 |2 doi | |
| 035 | |a (OCoLC)869869138 | ||
| 035 | |a (DE-599)BVBBV042423926 | ||
| 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 Basin, David |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Labelled Deduction |c edited by David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2000 | |
| 300 | |a 1 Online-Ressource (XI, 267 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Applied Logic Series |v 17 |x 1386-2790 | |
| 500 | |a Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic 'state oriented' properties such as knowledge, belief, time, space, and resources | ||
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Philosophie | |
| 700 | 1 | |a D’Agostino, Marcello |e Sonstige |4 oth | |
| 700 | 1 | |a Gabbay, Dov M. |e Sonstige |4 oth | |
| 700 | 1 | |a Matthews, Seán |e Sonstige |4 oth | |
| 700 | 1 | |a Viganò, Luca |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-011-4040-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027859343 | |
Record in the Search Index
| DE-BY-TUM_katkey | 2070934 |
|---|---|
| _version_ | 1821931368289927168 |
| any_adam_object | |
| author | Basin, David |
| author_facet | Basin, David |
| author_role | aut |
| author_sort | Basin, David |
| author_variant | d b db |
| building | Verbundindex |
| bvnumber | BV042423926 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)869869138 (DE-599)BVBBV042423926 |
| 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-011-4040-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02428nam a2200505zcb4500</leader><controlfield tag="001">BV042423926</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2000 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401140409</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-011-4040-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401057813</subfield><subfield code="c">Print</subfield><subfield code="9">978-94-010-5781-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-011-4040-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)869869138</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423926</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">Basin, David</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Labelled Deduction</subfield><subfield code="c">edited by David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò</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 (XI, 267 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">17</subfield><subfield code="x">1386-2790</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic 'state oriented' properties such as knowledge, belief, time, space, and resources</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">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">D’Agostino, Marcello</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="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Matthews, Seán</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Viganò, Luca</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-011-4040-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859343</subfield></datafield></record></collection> |
| id | DE-604.BV042423926 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:10:49Z |
| institution | BVB |
| isbn | 9789401140409 9789401057813 |
| issn | 1386-2790 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859343 |
| oclc_num | 869869138 |
| 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 (XI, 267 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 |
| spellingShingle | Basin, David Labelled Deduction Philosophy (General) Logic Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie |
| title | Labelled Deduction |
| title_auth | Labelled Deduction |
| title_exact_search | Labelled Deduction |
| title_full | Labelled Deduction edited by David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò |
| title_fullStr | Labelled Deduction edited by David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò |
| title_full_unstemmed | Labelled Deduction edited by David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò |
| title_short | Labelled Deduction |
| title_sort | labelled deduction |
| topic | Philosophy (General) Logic Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie |
| topic_facet | Philosophy (General) Logic Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie |
| url | https://doi.org/10.1007/978-94-011-4040-9 |
| work_keys_str_mv | AT basindavid labelleddeduction AT dagostinomarcello labelleddeduction AT gabbaydovm labelleddeduction AT matthewssean labelleddeduction AT viganoluca labelleddeduction |