Canonical Equational Proofs, Bachmair

Автор: Janusz Czelakowski
Название: The Equationally-Defined Commutator
ISBN: 3319211994 ISBN-13(EAN): 9783319211992
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- Basic Properties of Quasivarieties.- Commutator Equations and the Equationally Defined Commutator.- Centralization Relations.- Additivity of the Equationally Defined Commutator.- Modularity and Related Topics.- Additivity of the Equationally Defined Commutator and Relatively Congruence-Distributive Dub quasivarieties.- More on Finitely Generated Quasivarieties.- Commutator Laws in Finitely Generated Quasivarieties.- Appendix 1: Algebraic Lattices.- Appendix 2: A Proof of Theorem 3.3.4 for Relatively Congruence-Modular Quasivarieties.- Appendix 3: Inferential Bases for Relatively Congruence-Modular Quasivarieties.

Автор: William McCune; R. Padmanabhan
Название: Automated Deduction in Equational Logic and Cubic Curves
ISBN: 3540613986 ISBN-13(EAN): 9783540613985
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text resulted from co-operation between a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics. This book presents their results.

Автор: Radim Belohl?vek; Vilem Vychodil
Название: Fuzzy Equational Logic
ISBN: 3642065759 ISBN-13(EAN): 9783642065750
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction to Fuzzy Sets and Fuzzy Logic.- Algebras with Fuzzy Equalities.- Fuzzy Equational Logic.- Fuzzy Horn Logic.

Автор: Steffen H?lldobler
Название: Foundations of Equational Logic Programming
ISBN: 354051533X ISBN-13(EAN): 9783540515333
Издательство: Springer
Рейтинг:
Цена: 32600.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.

Автор: D. K. Haley
Название: Equational Compactness in Rings
ISBN: 3540095489 ISBN-13(EAN): 9783540095484
Издательство: Springer
Рейтинг:
Цена: 23280.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Janusz Czelakowski
Название: The Equationally-Defined Commutator
ISBN: 3319365789 ISBN-13(EAN): 9783319365787
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This monograph introduces and explores the notions of a commutator equation and the equationally-defined commutator from the perspective of abstract algebraic logic. An account of the commutator operation associated with equational deductive systems is presented, with an emphasis placed on logical aspects of the commutator for equational systems determined by quasivarieties of algebras. The author discusses the general properties of the equationally-defined commutator, various centralization relations for relative congruences, the additivity and correspondence properties of the equationally-defined commutator and its behavior in finitely generated quasivarieties.

Presenting new and original research not yet considered in the mathematical literature, The Equationally-Defined Commutator will be of interest to professional algebraists and logicians, as well as graduate students and other researchers interested in problems of modern algebraic logic.

Автор: Kanovei
Название: Canonical Ramsey Theory on Polish Spaces
ISBN: 1107026857 ISBN-13(EAN): 9781107026858
Издательство: Cambridge Academ
Рейтинг:
Цена: 121440.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book lays the foundations for an exciting new area of descriptive set theory. It develops a robust connection between two active areas of research: forcing and analytic equivalence relations. Ideal for graduate students and researchers in set theory, the book provides an ideal springboard for further research.