Many-Valued Logics 2: Automated Reasoning and Practical Applications / Edition 1

Many-Valued Logics 2: Automated Reasoning and Practical Applications / Edition 1

by Leonard Bolc, Piotr Borowik
     
 

ISBN-10: 3642084176

ISBN-13: 9783642084171

Pub. Date: 12/01/2010

Publisher: Springer Berlin Heidelberg

Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest…  See more details below

Overview

Many-valued logics are becoming increasingly important in all areas of computer science. This is the second volume of an authoritative two-volume handbook on many valued logics by two leading figures in the field. While the first volume was mainly concerned with theoretical foundations, this volume emphasizes automated reasoning, practical applications, and the latest developments in fuzzy logic and rough set theory. Among the applications presented are those in software specification and electronic circuit verification.

Product Details

ISBN-13:
9783642084171
Publisher:
Springer Berlin Heidelberg
Publication date:
12/01/2010
Edition description:
Softcover reprint of hardcover 1st ed. 2003
Pages:
303
Product dimensions:
6.10(w) x 9.25(h) x 0.24(d)

Related Subjects

Table of Contents

Preface.- Basic Notions and Results.- Gentzen Systems for n-valued Logical Calculi.- Multisequential Systems of Takahashi and Rousseau for Finitely-Valued Logics.- The Resolution Principle in n-valued Logics.- Minimization Problems in Resolution Proof Systems.- Resolution in Finitely Valued First Order Predicate Calculi.- Overview of Applications.- Selected Applications of Fuzzy Set Theory.- Selected Applications of Rough Set Theory.- Bibliography.- Index.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >