Non-classical mathematical logic and approximate reasoning

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