A note on complex algebras of semigroups (2003)

Cached

Download Links

by Peter Jipsen
Venue:Relational and Kleene-Algebraic Methods in Computer Science: Proc. 7th Int. Sem. Relational Methods in Computer Science and 2nd Int. Workshop Applications of Kleene Algebra
Citations:2 - 1 self

Active Bibliography

3 Axiomatizability of Reducts of Algebras of Relations – Ian Hodkinson, Szabolcs Mikulas
A construction of cylindric and polyadic algebras from atomic relation algebras – Ian Hodkinson
Non-Finitely Axiomatizable, Union-Free Reducts of Algebras of Relations – Ian Hodkinson, Szabolcs Mikulas - 1997
9 Relation Algebras with n-Dimensional Relational Bases – Robin Hirsch, Ian Hodkinson - 1999
10 A Note on Relativised Products of Modal Logics – Agi Kurucz, Michael Zakharyaschev - 2003
4 Non-Representable Algebras of Relations – Andras Simon, Andr As Simon - 1997
15 Representability is not decidable for finite relation algebras – Robin Hirsch, Ian Hodkinson - 1999
3 Provability with Finitely Many Variables – Robin Hirsch, Ian Hodkinson, Roger, Roger D Maddux
28 Step by Step - Building Representations in Algebraic Logic – Robin Hirsch, Ian Hodkinson - 1995
87 On Binary Constraint Problems – Peter B. Ladkin, Roger D. Maddux - 1994
12 Canonical Varieties with No Canonical Axiomatisation – Ian Hodkinson, Yde Venema - 2003
Preface – Steven Givant, Hajnal Andréka Contents
The Construction and Analysis of Simple Relation Algebras – Steven Givant
4 Notions Of Density That Imply Representability In Algebraic Logic – Hajnal Andréka, Hajnal Andr Eka, Steven Givant, ISTVAN NEMETI, SZABOLCS MIKULAS, Istv An, N Emeti, ANDRAS SIMON, As Simon - 1998
5 Relation algebras for reasoning about time and space – Roger D. Maddux - 1994
40 The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations – Roger D. Maddux - 1991
1 Relation algebras and their application in qualitative spatial reasoning – Ivo Düntsch, Ivo Düntsch - 2005
19 Complete Representations in Algebraic Logic – Robin Hirsch , Ian Hodkinson
1 Representable sequential algebras and observation spaces – Peter Jipsen