Step by Step - Building Representations in Algebraic Logic (1995)

Cached

Download Links

by Robin Hirsch , Ian Hodkinson
Venue:Journal of Symbolic Logic
Citations:28 - 15 self

Documents Related by Co-Citation

65 The representation of relational algebras – R Lyndon - 1950
45 On representable relation algebras – J D Monk - 1964
24 Representation problems for relation algebras – B Jónsson, A Tarski - 1192
187 Boolean algebras with operators – B Jónsson, A Tarski - 1951
49 Some varieties containing relation algebras – R Maddux - 1982
71 Cylindric Algebras (Part I – L Henkin, J D Monk, A Tarski - 1971
19 Complete Representations in Algebraic Logic – Robin Hirsch , Ian Hodkinson
372 Constraint propagation algorithms for temporal reasoning – Marc Vilain, Henry Kautz, Peter Beek - 1986
61 Pair-Dense Relation Algebras – Roger Maddux - 1991
24 Introductory Course on Relation Algebras, Finite-Dimensional Cylindric Algebras, and Their Interconnections – Roger D. Maddux - 1990
153 The Theory of Representations for Boolean Algebras – M H Stone - 1936
99 Cylindric algebras – L Henkin, J Monk, A Tarski - 1971
18 Representations of integral relation algebras – R McKenzie - 1970
451 Model Theory – C Chang, H J Keisler - 1990
11 Discriminator varieties of Boolean algebras with residuated operators", in Algebraic methods in logic and computer science (editor – P Jipsen - 1993
19 Non-finite axiomatizability results for cylindric and relation algebras – R D Maddux - 1989
8 Axiomatising Various Classes of Relation and Cylindric Algebras – Robin Hirsch, Ian Hodkinson - 1997
63 Varieties of complex algebras – R Goldblatt - 1989
6 Completely representable relation algebras. Bulletin of the interest group in propositional and predicate logics – R Hirsch - 1995