
Conte aos seus amigos sobre este item:
Algebraic Foundations of Many-Valued Reasoning - Trends in Logic 2000 edition
R.L. Cignoli
Algebraic Foundations of Many-Valued Reasoning - Trends in Logic 2000 edition
R.L. Cignoli
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.
233 pages, 1 black & white illustrations, biography
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 30 de novembro de 1999 |
ISBN13 | 9780792360094 |
Editoras | Springer |
Páginas | 233 |
Dimensões | 189 × 265 × 22 mm · 526 g |
Idioma | English |
Ver tudo de R.L. Cignoli ( por exemplo Hardcover Book e Paperback Book )