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

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

• New

  Hardcover
  1999

  $174.53

  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.