Recomienda este artículo a tus amigos:
Algebraic Foundations of Many-Valued Reasoning - Trends in Logic R.L. Cignoli 2000 edition
Algebraic Foundations of Many-Valued Reasoning - Trends in Logic
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 30 de noviembre de 1999 |
| ISBN13 | 9780792360094 |
| Editores | Springer |
| Páginas | 233 |
| Dimensiones | 189 × 265 × 22 mm · 526 g |
| Lengua | Inglés |