Algebraic Foundations of Many-Valued Reasoning (Trends in Logic)

Algebraic Foundations of Many-Valued Reasoning (Trends in Logic)

by Daniele Mundici (Author), RobertoL.O.Cignoli (Author), ItalaM.L.D'Ottaviano (Author)

Synopsis

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.

$180.57

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 244
Publisher: Springer
Published: 30 Nov 1999

ISBN 10: 0792360095
ISBN 13: 9780792360094