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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

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

Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Noncummulative cylindric algebras and relativizations of cylindric algebras.Richard Thompson - 1988 - Bulletin of the Section of Logic 17 (2):75-81.
Bare canonicity of representable cylindric and polyadic algebras.Jannis Bulian & Ian Hodkinson - 2013 - Annals of Pure and Applied Logic 164 (9):884-906.
Relation algebra reducts of cylindric algebras and an application to proof theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.
The number of one-generated cylindric set algebras of dimension greater than two.Jean A. Larson - 1985 - Journal of Symbolic Logic 50 (1):59-71.
Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
Strongly representable atom structures of cylindric algebras.Robin Hirsch & Ian Hodkinson - 2009 - Journal of Symbolic Logic 74 (3):811-828.
Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.
Relation algebras from cylindric and polyadic algebras.I. Nemeti & A. Simon - 1997 - Logic Journal of the IGPL 5 (4):575-588.
Weak representations of relation algebras and relational bases.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2011 - Journal of Symbolic Logic 76 (3):870 - 882.
Neat embeddings as adjoint situations.Tarek Sayed-Ahmed - 2015 - Synthese 192 (7):1-37.
On nonrepresentable G-polyadic algebras with representable cylindric reducts.Gábor Sági - 2011 - Logic Journal of the IGPL 19 (1):105-109.

Analytics

Added to PP
2015-02-04

Downloads
19 (#732,197)

6 months
3 (#760,965)

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