Relation Algebras, Volume 13

Copertina anteriore
Elsevier, 2006 - 731 pagine
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic.



This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject.



Key Features:



- Presents historical milestones from a modern perspective.


- Careful, thorough, detailed guide to understanding relation algebras.


- Includes a wealth of scholarly material --- 100 years of work by a research community --- presented in book form for the first time.


- Provides a framework and unified perspective of the subject.


- Roger D. Maddux is one of the world's leading experts in the field of relation algebras.

Key Features:



- Presents historical milestones from a modern perspective.


- Careful, thorough, detailed guide to understanding relation algebras.


- Includes a wealth of scholarly material --- 100 years of work by a research community --- presented in book form for the first time.


- Provides a framework and unified perspective of the subject.


- Roger D. Maddux is one of the world's leading experts in the field of relation algebras.

Informazioni bibliografiche