Wonder Club world wonders pyramid logo
×

Relation Algebras By Games Book

Relation Algebras By Games
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 has a rating of 3 stars
   2 Ratings
X
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
3 out of 5 stars based on 2 reviews
5
0 %
4
0 %
3
100 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $133.33
Original Magazine
Physical Format

Sold Out

  • Relation Algebras By Games
  • Written by author R. Hirsch
  • Published by Elsevier BV, August 2002
  • 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 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
Buy Digital  USD$133.33

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

Preface
Foreword
1Introduction1
IAlgebras of Relations23
2Preliminaries25
3Binary relations and relation algebra99
4Examples of relation algebras133
5Relativisation and cylindric algebras151
6Other approaches to algebras of relations199
IIGames213
7Games and networks217
8Axiomatising representable relation algebras and cylindric algebras261
9Axiomatising pseudo-elementary classes273
10Game trees309
11Atomic networks335
IIIApproximations353
12Relational, cylindric, and hyperbases363
13Approximations to RRA399
IVConstructing Relation Algebras439
14Strongly representable relation algebra atom structures445
15Non-finite axiomatisability of SRaCA[subscript n+1] over SRaCA[subscript n]463
16The rainbow construction for relation algebras491
17Applying the rainbow construction513
VDecidability537
18Undecidability of the representation problem for finite algebras539
19Finite base property581
VIEpilogue607
20Brief summary609
21Problems625
Bibliography629
Symbol index655
Subject index667


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

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

X
WonderClub Home

This item is in your Collection

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

Relation Algebras By Games

X
WonderClub Home

This Item is in Your Inventory

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

Relation Algebras By Games

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: