Modern Uses of Multiple-Valued Logic, M. Dunn; G. Epstein

Автор: Yang Xu; Da Ruan; Keyun Qin; Jun Liu
Название: Lattice-Valued Logic
ISBN: 3642072798 ISBN-13(EAN): 9783642072796
Издательство: Springer
Рейтинг:
Цена: 26120.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks.

Автор: Cignoli
Название: Algebraic Foundations of Many-Valued Reasoning
ISBN: 0792360095 ISBN-13(EAN): 9780792360094
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Epstein
Название: Multiple-Valued Logic Design
ISBN: 0750302100 ISBN-13(EAN): 9780750302104
Издательство: Taylor&Francis
Рейтинг:
Цена: 56654.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Explains the theory and applications of multiple-valued logic and logic design. This book offers introductory knowledge in Boolean algebra, 2-valued logic, or 2-valued switching theory. It is suitable for computer scientists, mathematicians, and electronic engineers.

Автор: Antonio J. Engler; Alexander Prestel
Название: Valued Fields
ISBN: 3642063454 ISBN-13(EAN): 9783642063459
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Absolute values and their completions - such as the p-adic number fields - play an important role in number theory. In valuation theory, the notion of completion must be replaced by that of "Henselization". This book develops the theory of valuations as well as of Henselizations, based on the skills of a standard graduate course in algebra.

Автор: Lavinia Corina Ciungu
Название: Non-commutative Multiple-Valued Logic Algebras
ISBN: 3319032992 ISBN-13(EAN): 9783319032993
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph provides a self-contained introduction to non-commutative multiple-valued logic algebras. It includes treatment of pseudo-BCK algebras, pseudo-hoops, residuated lattices, bounded divisible residuated lattices, and pseudo-MV algebras.

Автор: Lavinia Corina Ciungu
Название: Non-commutative Multiple-Valued Logic Algebras
ISBN: 3319015885 ISBN-13(EAN): 9783319015880
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph provides a self-contained introduction to non-commutative multiple-valued logic algebras. It includes treatment of pseudo-BCK algebras, pseudo-hoops, residuated lattices, bounded divisible residuated lattices, and pseudo-MV algebras.

Автор: Haskell
Название: Stable Domination and Independence in Algebraically Closed Valued Fields
ISBN: 0521335159 ISBN-13(EAN): 9780521335157
Издательство: Cambridge Academ
Рейтинг:
Цена: 6019.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory.