Sold Out
Book Categories |
Preface | ||
Foreword | ||
1 | Introduction | 1 |
I | Algebras of Relations | 23 |
2 | Preliminaries | 25 |
3 | Binary relations and relation algebra | 99 |
4 | Examples of relation algebras | 133 |
5 | Relativisation and cylindric algebras | 151 |
6 | Other approaches to algebras of relations | 199 |
II | Games | 213 |
7 | Games and networks | 217 |
8 | Axiomatising representable relation algebras and cylindric algebras | 261 |
9 | Axiomatising pseudo-elementary classes | 273 |
10 | Game trees | 309 |
11 | Atomic networks | 335 |
III | Approximations | 353 |
12 | Relational, cylindric, and hyperbases | 363 |
13 | Approximations to RRA | 399 |
IV | Constructing Relation Algebras | 439 |
14 | Strongly representable relation algebra atom structures | 445 |
15 | Non-finite axiomatisability of SRaCA[subscript n+1] over SRaCA[subscript n] | 463 |
16 | The rainbow construction for relation algebras | 491 |
17 | Applying the rainbow construction | 513 |
V | Decidability | 537 |
18 | Undecidability of the representation problem for finite algebras | 539 |
19 | Finite base property | 581 |
VI | Epilogue | 607 |
20 | Brief summary | 609 |
21 | Problems | 625 |
Bibliography | 629 | |
Symbol index | 655 | |
Subject index | 667 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionRelation Algebras By Games
X
This Item is in Your InventoryRelation Algebras By Games
X
You must be logged in to review the productsX
X
X
Add Relation Algebras By Games, Relation algebras are algebras arising from the study of binary relations. They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study, Relation Algebras By Games to the inventory that you are selling on WonderClubX
X
Add Relation Algebras By Games, Relation algebras are algebras arising from the study of binary relations. They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study, Relation Algebras By Games to your collection on WonderClub |