Relation Algebras |
|
Author:
| Maddux, Roger Duncan |
Series title: | Studies in Logic and the Foundations of Mathematics Ser. |
ISBN: | 978-0-444-52013-5 |
Publication Date: | May 2006 |
Publisher: | Elsevier Science & Technology
|
Book Format: | Hardback |
List Price: | USD $305.00 |
Book Description:
|
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...
More Description
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.