Non-classical mathematical logic and approximate reasoning

Author: Wang Guojun
Publisher:
Publish Date: 2003-09-01
Features: Most of the content in this book is the author's recent research achievements. It systematically presents various three-valued logics, value logics, and continuous-value logics. It establishes a formal deductive system for fuzzy propositional calculus, incorporates fuzzy reasoning into a rigorous logical framework, and develops an integral semantics theory from the perspective of overall valuation, providing a possible framework for approximate reasoning. The book also systematically discusses Pavelka logic and briefly covers abstract logic. This book can serve as a graduate textbook for computer science and automatic control majors, and can also be used by senior undergraduate students in mathematics and related fields.