Algebraic Foundations of Many-Valued Reasoning by R.l. CignoliAlgebraic Foundations of Many-Valued Reasoning by R.l. Cignoli

Algebraic Foundations of Many-Valued Reasoning

byR.l. Cignoli, Itala M. d'Ottaviano, Daniele Mundici

Paperback | December 3, 2010

Pricing and Purchase Info

$238.18 online 
$271.95 list price save 12%
Earn 1,191 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are interested in the mathematical treatment of uncertain information. Stressing the interplay between algebra and logic, the book contains material never before published, such as a simple proof of the completeness theorem and of the equivalence between Chang's MV algebras and Abelian lattice-ordered groups with unit - a necessary prerequisite for the incorporation of a genuine addition operation into fuzzy logic. Readers interested in fuzzy control are provided with a rich deductive system in which one can define fuzzy partitions, just as Boolean partitions can be defined and computed in classical logic. Detailed bibliographic remarks at the end of each chapter and an extensive bibliography lead the reader on to further specialised topics.
Title:Algebraic Foundations of Many-Valued ReasoningFormat:PaperbackDimensions:242 pages, 9.25 × 6.1 × 0 inPublished:December 3, 2010Publisher:Springer NetherlandsLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9048153360

ISBN - 13:9789048153367

Look for similar items by category:

Table of Contents

Introduction. 1. Basic notions. 2. Chang completeness theorem. 3. Free MV-algebras. 4. Lukasiewicz INFINITY-valued calculus. 5. Ulam's game. 6. Lattice-theoretical properties. 7. MV-algebras and l-groups. 8. Varieties of MV-algebras. 9. Advanced topics. 10. Further Readings. Bibliography. Index.

Editorial Reviews

`Meanwhile, a rich structure theory for MV-algebras has been developed, relating them e.g. to l-groups and to nonstandard reals. The present book develops these matters in detail, and gives a coherent presentation of the core results of the last 15 years or so, also adding unpublished material of the authors. For future work on MV-algebras, this monograph will be an indispensable source.' Mathematical Reviews, 2001