Axiomatising Various Classes of Relation and Cylindric Algebras

&
Logic Journal of the IGPL 5 (2):209-229 (1997)
  Copy   BIBTEX

Abstract

We outline a simple approach to axiomatising the class of representable relation algebras, using games. We discuss generalisations of the method to cylindric algebras, homogeneous and complete representations, and atom structures of relation algebras

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/5.2.209

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Review: Relation algebras by games Robin Hirsch, Ian Hodkinson: Relation algebras by games. [REVIEW]Roger Maddux - 2003 - Logic Journal of the IGPL 11 (5):577-581.
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results.Tarek Sayed Ahmed - 2021 - Bulletin of the Section of Logic 50 (4):465-511.
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
Weakly representable atom structures that are not strongly representable, with an application to first order logic.Tarek Sayed Ahmed - 2008 - Mathematical Logic Quarterly 54 (3):294-306.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.
First-Order Axiomatisations of Representable Relation Algebras Need Formulas of Unbounded Quantifier Depth.Rob Egrot & Robin Hirsch - 2022 - Journal of Symbolic Logic 87 (3):1283-1300.
Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.
Robin Hirsch and Ian Hodkinson. Relation algebras by games. Elsevier, Amsterdam, 2002, xviii + 691 pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (4):515-520.

Analytics

Added to PP
2015-02-04

Downloads
27 (#824,377)

6 months
5 (#1,038,502)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.
Tractable approximations for temporal constraint handling.Robin Hirsch - 2000 - Artificial Intelligence 116 (1-2):287-295.

Add more citations

References found in this work

No references found.

Add more references