Advances in Applied Logics: Applications of Logic for Philosophy, Mathematics and Information Technology

This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic applications in different branches of knowledge. Foundational aspects of the various techniques are also covered, notably non-classical formalisms. The tome is intended for researchers, undergraduate and graduate students, and lay readers.

The book is dedicated to researcher Seiki Akama on his sixtieth birthday. Akama is one of the critical scientists ...