Many-valued logics 2. Automated reasoning and practical applications
automated deductionfuzzy set methodsmany-valued logicresolution methodrough set methodssequent calculi
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Theory of fuzzy sets, etc. (03E72) Cut-elimination and normal-form theorems (03F05) Specification and verification (program logics, model checking, etc.) (68Q60) Knowledge representation (68T30) Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05)
This is a really astonishing book, having in mind the rapid development of the field of many-valued logic and its applications during the last decade offering a lot of new and important developments and results: The most recent publications given in the bibliography date from 1993. I wonder whether anybody in Springer's publishing house has been aware of this fact. Hence, in some sense this second part of the whole monograph [for the first part (Berlin: Springer-Verlag (1992)) see Zbl 0791.03007] is completely out of date. However, it still may serve as a first introductory text for its topics, as long as the reader is aware of these severe restrictions. The first chapter offers some algebraic preliminaries, including considerations on function algebras. Then proof theory is the first focus, with Chapter 2 devoted to ``Gentzen systems for \(n\)-valued logical calculi, and Chapter 3 treating the ``Multisequent systems of Takahashi and Rousseau for finite-valued logics. The next three chapters, headed ``The resolution principle in \(n\)-valued logics, ``Minimization problems in resolution proof systems, and ``Resolution in finite-valued first-order predicate calculi, are devoted to topics in automated reasoning. Chapter 7 claims to give an ``Overview of applications, but treats only a few particular aspects of software specification and verification, of interval arithmetic, and of the verification of electronic circuits. Chapter 8 treats ``Selected applications of fuzzy set theory, however, it is nothing but an elementary textbook-like introduction to basic notions of fuzzy sets and fuzzy methods. The final Chapter 9 is devoted to ``Selected applications of rough set theory and offers the same level of expertise as Chapter 8 does.
- A framework for automated reasoning in multiple-valued logics
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
- Automated deduction for many-valued logics
- Erotetic search scenarios and three-valued logic
- scientific article; zbMATH DE number 45821 (Why is no real title available?)
- scientific article; zbMATH DE number 2042617 (Why is no real title available?)
- Many-valued logics. A mathematical and computational introduction
- Two approaches to fuzzy implication
- Many-valued logics. 1: Theoretical foundations
- Uncertainty, imprecision, and many-valued logics in protein bioinformatics
- Mechanizing Logic. II: Automated map logic method for relational arguments on paper and by computer
This page was built for publication: Many-valued logics 2. Automated reasoning and practical applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4212163)
