| 书目名称 | Goal-Directed Proof Theory | | 编辑 | Dov M. Gabbay,Nicola Olivetti | | 视频video | | | 丛书名称 | Applied Logic Series | | 图书封面 |  | | 描述 | .Goal Directed Proof Theory. presents a uniform andcoherent 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 ageneralization of the logic programming style of deduction, and it isparticularly favourable for proof search. The methodology is appliedfor the first time in a uniform way to a wide range of non-classicalsystems, covering intuitionistic, intermediate, modal andsubstructural logics. The book can also be used as an introduction tothese logical systems form a .procedural. perspective. ..Readership:. Computer scientists, mathematicians andphilosophers, and anyone interested in the automation of reasoningbased on non-classical logics. The book is suitable for self study,its only prerequisite being some elementary knowledge of logic andproof theory. | | 出版日期 | Book 2000 | | 关键词 | automated deduction; logic; modal logic; proof; proof theory | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-017-1713-7 | | isbn_softcover | 978-90-481-5526-2 | | isbn_ebook | 978-94-017-1713-7Series ISSN 1386-2790 | | issn_series | 1386-2790 | | copyright | Springer Science+Business Media Dordrecht 2000 |
The information of publication is updating
|
|
发表于 2025-3-21 16:45:16
