- 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
Relation Algebras by Games
Bulletin of Symbolic Logic 9 (4):515-520 (2003)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
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.
Axiomatising Various Classes of Relation and Cylindric Algebras.Robin Hirsch & Ian Hodkinson - 1997 - Logic Journal of the IGPL 5 (2):209-229.
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.
Weak representations of relation algebras and relational bases.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2011 - Journal of Symbolic Logic 76 (3):870 - 882.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Relation algebras with n-dimensional relational bases.Robin Hirsch & Ian Hodkinson - 2000 - Annals of Pure and Applied Logic 101 (2-3):227-274.
Relation Algebra Reducts of Cylindric Algebras and Complete Representations.Robin Hirsch - 2007 - Journal of Symbolic Logic 72 (2):673 - 703.
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.
κ-Stationary Subsets of Pκ+Λ, Infinitary Games, and Distributive Laws in Boolean Algebras.Natasha Dobrinen - 2008 - Journal of Symbolic Logic 73 (1):238 - 260.
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.
Completely Representable Relation Algebras.Robin Hirsch - 1995 - Logic Journal of the IGPL 3 (1):77-92.
Analytics
Added to PP
2017-02-22
Downloads
0
6 months
0
2017-02-22
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
First order logic without equality on relativized semantics.Amitayu Banerjee & Mohamed Khaled - 2018 - Annals of Pure and Applied Logic 169 (11):1227-1242.
Positive fragments of relevance logic and algebras of binary relations.Robin Hirsch & Szabolcs Mikulás - 2011 - Review of Symbolic Logic 4 (1):81-105.
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.
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-7c76586df8-pp8v9 uwo