Many-valued Logics
Bolc, Leonard; Borowik, Piotr
€ 64.10
FREE Delivery in Ireland
Description for Many-valued Logics
Paperback. Num Pages: 314 pages, 11 black & white tables, biography. BIC Classification: PBWX; UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 486.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
314
Condition
New
Number of Pages
303
Place of Publication
Berlin, Germany
ISBN
9783642084171
SKU
V9783642084171
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Many-valued Logics