by Daniele Mundici (Author), RobertoL.O.Cignoli (Author), ItalaM.L.D'Ottaviano (Author)
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.
Format: Hardcover
Pages: 244
Publisher: Springer
Published: 30 Nov 1999
ISBN 10: 0792360095
ISBN 13: 9780792360094