Udvidet returret til d. 31. januar 2025

Algebraic Foundations of Many-Valued Reasoning - R.L. Cignoli - Bog

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.
  • 8-11 hverdage.
  • 5. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.