De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Algebraic Foundations of Many-Valued Reasoning

Bag om Algebraic Foundations of Many-Valued Reasoning

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792360094
  • Indbinding:
  • Hardback
  • Sideantal:
  • 233
  • Udgivet:
  • 30. november 1999
  • Udgave:
  • 2000
  • Størrelse:
  • 265x189x22 mm.
  • Vægt:
  • 660 g.
Leveringstid: 8-11 hverdage
Forventet levering: 20. november 2024

Beskrivelse af Algebraic Foundations of Many-Valued Reasoning

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.

Brugerbedømmelser af Algebraic Foundations of Many-Valued Reasoning



Find lignende bøger
Bogen Algebraic Foundations of Many-Valued Reasoning findes i følgende kategorier: