Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on...
Lire la suite
Livré chez vous entre le 30 octobre et le 5 novembre
En magasin
Résumé
Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and latest developments in closely related fields, such as fuzzy logics and rough set theory. It offers an extensive overview of Gentzen deduction systems and multi-sequential systems in many-valued logics and shows the application of the resolution principle to this logics. It discusses applications in such areas as software specification and electronic circuit verification and presents fuzzy logics and rough set theory in detail.
Sommaire
Basic Notions and Results
Gentzen Systems for n-Valued Logical Calculi
Multisequent Systems of Takahashi and Rousseau for Finite-Valued Logics
The Resolution Principle in n-Valued Logics
Minimization Problems in Resolution Proof Systems
Resolution in Finite-Valued First-Order Predicate Calculi