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

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are

This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major metho

Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of the excluded middle" in classical logic. This discussion, which