In the twentieth century, logic finally found a number of important
applications and various new areas of research originated then,
especially after the development of computing and the progress of
the correlated domains of knowledge (artificial intelligence,
robotics, automata, logical programming, hyper-computation, etc.).
This happened not only in the field of classical logics, but also
in the general field of non-classical logics. This reveals an
interesting trait of the history of logic: despite its theoretical
character, it constitutes, at present, an extraordinarily important
tool in all domains of knowledge, in the same way as philosophy,
mathematics, natural science, the humanities and technology.
Moreover, certain new logics were inspired by the needs of specific
areas of knowledge, and various new techniques and methods have
been created, in part influenced and guided by logical views.
Advances in Technological Applications of Logical and Intelligent
Systems contains papers on relevant technological applications of
logical methods and some of their extensions and gives a clear idea
of some current applications of logical (and similar) methods to
numerous problems, including relevant new concepts and results, in
particular those related to paraconsistent logic. This book is of
interest to a wide audience: pure logicians, applied logicians,
mathematicians, philosophers and engineers.

http://www.amazon.com/exec/obidos/tg/detail/-/1586039369/

Download File Size:5.5 MB

---