Stock image for illustration purposes only - book cover, edition or condition may vary.
Algebraic Foundations of Many-valued Reasoning
Cignoli, Roberto; D'Ottaviano, Itala M.L.; Mundici, Daniele
€ 129.55
FREE Delivery in Ireland
Description for Algebraic Foundations of Many-valued Reasoning
Hardback. States and proves various theorems of many-valued propositional logic. This text provides developments and trends, including applications to adaptive error-correcting binary search. It contains material, such as a simple proof of completeness theorem and of the equivalence between Chang's MV algebras and Abelian lattice-ordered groups with unit. Series: Trends in Logic. Num Pages: 233 pages, 1 black & white illustrations, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 265 x 189 x 22. Weight in Grams: 660.
The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and its algebras, Chang's MV -algebras. This book is for self-study: with the possible exception of Chapter 9 on advanced topics, the only prere- quisite for the reader is some acquaintance with classical propositional logic, and elementary algebra and topology. In this book it is not our aim to give an account of Lukasiewicz's motivations for adding new truth values: readers interested in this topic will find appropriate references in Chapter 10. Also, we shall not explain why ... Read more
The aim of this book is to give self-contained proofs of all basic results concerning the infinite-valued proposition al calculus of Lukasiewicz and its algebras, Chang's MV -algebras. This book is for self-study: with the possible exception of Chapter 9 on advanced topics, the only prere- quisite for the reader is some acquaintance with classical propositional logic, and elementary algebra and topology. In this book it is not our aim to give an account of Lukasiewicz's motivations for adding new truth values: readers interested in this topic will find appropriate references in Chapter 10. Also, we shall not explain why ... Read more
Product Details
Format
Hardback
Publication date
1999
Publisher
Kluwer Academic Publishers United States
Number of pages
233
Condition
New
Series
Trends in Logic
Number of Pages
233
Place of Publication
Dordrecht, Netherlands
ISBN
9780792360094
SKU
V9780792360094
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algebraic Foundations of Many-valued Reasoning
`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, ... Read more