Labelled Deduction:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2000
|
| Schriftenreihe: | Applied Logic Series
17 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 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 |
| Beschreibung: | 1 Online-Ressource (XI, 267 p) |
| ISBN: | 9789401140409 9789401057813 |
| ISSN: | 1386-2790 |
| DOI: | 10.1007/978-94-011-4040-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042423926 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2000 |||| o||u| ||||||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 |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027859343 | ||
Datensatz im Suchindex
| _version_ | 1804153100265586688 |
|---|---|
| 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>02413nmm a2200493zcb4500</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 |||| o||u| ||||||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><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-027859343</subfield></datafield></record></collection> |
| id | DE-604.BV042423926 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:14Z |
| 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 |
| spelling | Basin, David Verfasser aut Labelled Deduction edited by David Basin, Marcello D’Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò Dordrecht Springer Netherlands 2000 1 Online-Ressource (XI, 267 p) txt rdacontent c rdamedia cr rdacarrier Applied Logic Series 17 1386-2790 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 Philosophy (General) Logic Artificial intelligence Philosophy Artificial Intelligence (incl. Robotics) Künstliche Intelligenz Philosophie D’Agostino, Marcello Sonstige oth Gabbay, Dov M. Sonstige oth Matthews, Seán Sonstige oth Viganò, Luca Sonstige oth https://doi.org/10.1007/978-94-011-4040-9 Verlag Volltext |
| 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 |