| 书目名称 | Labelled Deduction | | 编辑 | David Basin,Marcello D’Agostino,Luca Viganò | | 视频video | | | 丛书名称 | Applied Logic Series | | 图书封面 |  | | 描述 | Labelled deduction is an approach to providing frameworks forpresenting and using different logics in a uniform and natural way byenriching the language of a logic with additional information of asemantic proof-theoretical nature. .Labelled deduction systems often possess attractive properties, suchas modularity in the way that families of related logics arepresented, parameterised proofs of metatheoretic properties, and easeof mechanisability. It is thus not surprising that labelled deductionhas been applied to problems in computer science, AI, mathematicallogic, cognitive science, philosophy and computational linguistics- for example, formalizing and reasoning about dynamic `stateoriented‘ properties such as knowledge, belief, time, space, andresources. | | 出版日期 | Book 2000 | | 关键词 | cognitive science; computational linguistics; linguistics; logic; modal logic; programming; semantics | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-011-4040-9 | | isbn_softcover | 978-94-010-5781-3 | | isbn_ebook | 978-94-011-4040-9Series ISSN 1386-2790 | | issn_series | 1386-2790 | | copyright | Springer Science+Business Media Dordrecht 2000 |
The information of publication is updating
|
|
发表于 2025-3-21 16:50:59
