Opening book details…
Can I read Relation Algebras by Games (Volume 147) (Studies in Logic and the Foundations of Mathematics, Volume 147) on EtoBox?
Relation Algebras by Games (Volume 147) (Studies in Logic and the Foundations of Mathematics, Volume 147) by Robin Hirsch; Ian Hodkinson is a nonfiction available to read on EtoBox.
What is Relation Algebras by Games (Volume 147) (Studies in Logic and the Foundations of Mathematics, Volume 147) about?
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 the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games. After an introduction describing the authors' perspective on the material, the text proper has six parts. The lengthy first part is devoted to background material, including the formal definitions of relation algebras, cylindric algebras, their basic properties, and some connections between them. Examples are given. Part 1 ends with a short survey of other work beyond the scope of the book. In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation algebra reducts, and relativised representation
Who reads Relation Algebras by Games (Volume 147) (Studies in Logic and the Foundations of Mathematics, Volume 147)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Robin Hirsch; Ian Hodkinson
- Publisher
- North Holland/Elsevier
- Published
- 2002
- Language
- EN
- ISBN
- 9780080540450
- Category
- nonfiction
- Subjects
- Mathematics, Stem
More by Robin Hirsch; Ian Hodkinson
Browse all works by Robin Hirsch; Ian Hodkinson
Similar books
- Introduction to Relation Algebras. Volume 1 : Relation Algebras — Steven Givant (auth.) (2017)
- Non-commutative Multiple-Valued Logic Algebras (Springer Monographs in Mathematics) — Lavinia Corina Ciungu (auth.) (2014)
- Cylindric-like Algebras and Algebraic Logic (Bolyai Society Mathematical Studies Book 22) — Hajnal Andréka, Miklós Ferenczi, István Németi (auth.), (2013)
- An Algebraic Approach to Non-classical Logics (Studies in Logic and the Foundations of Mathematics Volume 78) — Helena Rasiowa (1974)
- The Algebra of Proofs, Vol. 88 (Studies in Logic and the Foundations of Mathematics) — Szabo M. E. (1978)
- STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 90 HANDBOOK OF MATHEMATICAL LOGIC — cedited by Jon Barwise, with the cooperation of H. J. Keisler ... et al.,North-Holland Pub. Co. (1977)
