About this product

Product Identifiers

PublisherSpringer Netherlands

ISBN-109400708394

ISBN-139789400708396

eBay Product ID (ePID)109005772

Product Key Features

Number of PagesXviii, 258 Pages

LanguageEnglish

Publication NameAdvanced Lukasiewicz Calculus and Mv-Algebras

SubjectLogic

Publication Year2011

TypeTextbook

Subject AreaMathematics

AuthorUniversity of Florence Staff, D. Mundici

SeriesTrends in Logic Ser.

FormatHardcover

Dimensions

Item Weight20.5 Oz

Item Length9.3 in

Item Width6.1 in

Additional Product Features

Intended AudienceScholarly & Professional

ReviewsFrom the reviews: "The book is recommended for professional researchers and advanced students with an appropriate mathematical background. The book covers most of the recent developments in ukasiewicz infinite-valued calculus and MV-theory. ... The presentation is clearly structured and self-contained. The book consists of twenty chapters and two appendices, and a suitable bibliography is offered at the end of each chapter. Some of the chapters can be read independently from the others." (Manuela Busaniche, Mathematical Reviews, Issue 2012 i) "The author of this book is one of the leading scientists in the field of MV-algebras, and in this work he presents his recent results, collecting them in a monograph that every scholar interested in many-valued logic should consult for his studies. The book is intended as a text for a second course on infinite-valued ukasiewicz logic ... . Each chapter focuses on a specific topic and chapters are almost independent from each other." (Brunella Gerla, Zentralblatt MATH, Vol. 1235, 2012), From the reviews:The book is recommended for professional researchers and advanced students with an appropriate mathematical background. The book covers most of the recent developments in ukasiewicz infinite-valued calculus and MV-theory. â€¦ The presentation is clearly structured and self-contained. The book consists of twenty chapters and two appendices, and a suitable bibliography is offered at the end of each chapter. Some of the chapters can be read independently from the others. (Manuela Busaniche, Mathematical Reviews, Issue 2012 i), From the reviews:The book is recommended for professional researchers and advanced students with an appropriate mathematical background. The book covers most of the recent developments in ukasiewicz infinite-valued calculus and MV-theory. â€¦ The presentation is clearly structured and self-contained. The book consists of twenty chapters and two appendices, and a suitable bibliography is offered at the end of each chapter. Some of the chapters can be read independently from the others. (Manuela Busaniche, Mathematical Reviews, Issue 2012 i)The author of this book is one of the leading scientists in the field of MV-algebras, and in this work he presents his recent results, collecting them in a monograph that every scholar interested in many-valued logic should consult for his studies. The book is intended as a text for a second course on infinite-valued ukasiewicz logic â€¦ . Each chapter focuses on a specific topic and chapters are almost independent from each other. (Brunella Gerla, Zentralblatt MATH, Vol. 1235, 2012), From the reviews: The book is recommended for professional researchers and advanced students with an appropriate mathematical background. The book covers most of the recent developments in ukasiewicz infinite-valued calculus and MV-theory. â€¦ The presentation is clearly structured and self-contained. The book consists of twenty chapters and two appendices, and a suitable bibliography is offered at the end of each chapter. Some of the chapters can be read independently from the others. (Manuela Busaniche, Mathematical Reviews, Issue 2012 i) The author of this book is one of the leading scientists in the field of MV-algebras, and in this work he presents his recent results, collecting them in a monograph that every scholar interested in many-valued logic should consult for his studies. The book is intended as a text for a second course on infinite-valued ukasiewicz logic â€¦ . Each chapter focuses on a specific topic and chapters are almost independent from each other. (Brunella Gerla, Zentralblatt MATH, Vol. 1235, 2012)

Series Volume Number35

Number of Volumes1 vol.

IllustratedYes

Table Of ContentPreface.- Chapter 1. Prologue: de Finetti coherence criterion and lukasiewicz logic.- Chapter 2. Rational polyhedra, Interpolation, Amalgamation.- Chapter 3. The Galois connection (Mod, Th) in lâˆž 21.- Chapter 4. The spectral and the maximal spectral space.- Chapter 5. De Concini-Procesi theorem and Schauder bases.- Chapter 6. Bases and Finitely presented MV-algebras.- Chapter 7. The free product of MV-algebras.- The construction of free products.- Chapter 8. Direct limits, conuence and multisets.- Chapter 9. Tensors.- Chapter 10. States and the Kroupa-Panti Theorem.- Chapter 11. The MV-algebraic Loomis-Sikorski theorem.- Chapter 12. The MV-algebraic Stone-von Neumann theorem.- Chapter 13. Recurrence, probability, measure.- Chapter 14. Measuring polyhedra and averaging truth-values.- Chapter 15. A RÃ©nyi conditional in lukasiewicz logic.- Chapter 16. The Lebesgue state and the completion of FREE n .- Chapter 17. Finitely generated projective MV-algebras.- Chapter 18. Eective procedures for lâˆž and MV-algebras.- Chapter 19. A First-order lukasiewicz logic with [0, 1]-identity.- Chapter 20. Applications, further reading, selected problems.- Chapter 21. Background results.- Special Bibliography. References. Index.

SynopsisThis volume covers recent developments in Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals, and related algorithms., This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals for such events, related algorithms.

LC Classification NumberQA8.9-10.3