by EwaOrlowska (Editor), Melvin Fitting (Editor)
This volume represents the state of the art for much current research in many-valued logics. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.
Format: Hardcover
Pages: 388
Edition: 2003
Publisher: Physica
Published: 09 Jan 2003
ISBN 10: 3790815411
ISBN 13: 9783790815412