Search Results

A notation called sets-as-signs is developed, and then it is demonstrated how it can be used to modify any known inference method to handle many-valued logics.

This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasi

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick,

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

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