- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Axiomatising Various Classes of Relation and Cylindric Algebras
Logic Journal of the IGPL 5 (2):209-229 (1997)
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 algebrasOther Versions
No versions found
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.
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.
Analytics
Added to PP
2015-02-04
Downloads
65 (#922,974)
6 months
17 (#655,763)
2015-02-04
Downloads
65 (#922,974)
6 months
17 (#655,763)
Historical graph of 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.
Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.Robin Hirsch, Szabolcs Mikulás & Tim Stokes - 2022 - Logic Journal of the IGPL 30 (5):886-906.
Tractable approximations for temporal constraint handling.Robin Hirsch - 2000 - Artificial Intelligence 116 (1-2):287-295.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation