Edition |
1st ed. |
Description |
1 online resource (xxvi, 731 pages) : illustrations |
|
text txt rdacontent |
|
computer c rdamedia |
|
online resource cr rdacarrier |
Series |
Studies in logic and the foundations of mathematics, 0049-237X ; v. 150 |
|
Studies in logic and the foundations of mathematics ; v. 150. 0049-237X
|
Summary |
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 - Provides a framework and unified perspective of the subject. |
Contents |
Preface -- List of Figures -- List of Tables -- Chapter 1. Calculus of relations -- Chapter 2. Set theory -- Chapter 3. General algebra -- Chapter 4. Logic with equality -- Chapter 5. Boolean algebras -- Chapter 6. Relation algebras -- Chapter 7. Algebraic logic -- Chapter 8. 4329 finite integral relation algebras -- Bibliography -- Index. |
Bibliography |
Includes bibliographical references (pages 713-722) and index. |
Note |
Print version record. |
Subject |
Relation algebras.
|
|
Algèbres des relations.
|
|
MATHEMATICS -- Algebra -- General.
|
|
Relation algebras
|
|
Booleaanse algebra.
|
Other Form: |
Print version: Maddux, R.D. (Roger D.), 1948- Relation algebras. 1st ed. Amsterdam ; Boston : Elsevier, 2006 0444520139 9780444520135 (OCoLC)69983673 |
ISBN |
9780444520135 |
|
0444520139 |
|
0080461476 (electronic bk.) |
|
9780080461472 (electronic bk.) |
Standard No. |
AU@ 000048130005 |
|
CHNEW 001005663 |
|
DEBBG BV036962246 |
|
DEBBG BV039830114 |
|
DEBBG BV042317262 |
|
DEBSZ 276850750 |
|
DEBSZ 482351721 |
|
NZ1 12434555 |
|
YDXCP 2493638 |
|
AU@ 000075305913 |
|