Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on ma

The book attempts an elementary exposition of the topics connected with many-valued logics. It gives an account of the constructions being "many-valued" at thei

A growing interest in many-valued logic has developed which to a large extent is based on applications, intended as well as already realised ones. These applica

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gen