Overview
- Is a comprehensive treatise of various logics, notably those that are of relevance for computer and data science
- Covers basic issues concerning different logical systems, e.g. propositional logic, first-order logics, modal logics
- Remains as the second revised, modified, and enlarged edition of the successful book
Part of the book series: Intelligent Systems Reference Library (ISRL, volume 245)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.
The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Logic: Reference Book for Computer Scientists
Book Subtitle: The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and Artificial Intelligence”
Authors: Lech T. Polkowski
Series Title: Intelligent Systems Reference Library
DOI: https://doi.org/10.1007/978-3-031-42034-4
Publisher: Springer Cham
eBook Packages: Intelligent Technologies and Robotics, Intelligent Technologies and Robotics (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Hardcover ISBN: 978-3-031-42033-7Published: 04 October 2023
Softcover ISBN: 978-3-031-42036-8Due: 04 November 2023
eBook ISBN: 978-3-031-42034-4Published: 03 October 2023
Series ISSN: 1868-4394
Series E-ISSN: 1868-4408
Edition Number: 1
Number of Pages: XXXIII, 461
Number of Illustrations: 31 b/w illustrations
Topics: Data Engineering, Computational Intelligence, Artificial Intelligence, Logics and Meanings of Programs