Automated Deduction in Multiple-Valued Logics

Series: International Series of Monographs on Computer Science

Automated Deduction in Multiple-valued Logics BL The first book on this subject - fully self-contained and unified approach The author has developed here a unified approach to automated reasoning in multiple-valued logics (MVL). The book also contains complete accounts of other approaches to this problem - making this the first ever overview of this area of automated reasoning.