|
1
|
On Amalgamation of Reducts of Polyadic Algebras
– Tarek Sayed Ahmed
|
|
|
EPIMORPHISMS IN CYLINDRIC ALGEBRAS AND DEFINABILITY IN FINITE VARIABLE LOGIC
– H. Andréka, S. D. Comer, J. X. Madarász, I. Németi, T. Sayed Ahmed
- 2008
|
|
16
|
COMPLEXITY OF EQUATIONS VALID IN ALGEBRAS OF RELATIONS -- Part II: Finite axiomatizations.
– Hajnal Andréka
|
|
8
|
On the Search for a Finitizable Algebraization of First Order Logic
– Ildikó Sain
- 2000
|
|
17
|
Expressive Power and Complexity in Algebraic Logic
– Robin Hirsch
- 1997
|
|
2
|
Cylindric Structures and Dependencies in Relational Databases
– Ivo Düntsch, Szabolcs Mikulás
|
|
28
|
Step by Step - Building Representations in Algebraic Logic
– Robin Hirsch, Ian Hodkinson
- 1995
|
|
18
|
Complete Representations in Algebraic Logic
– Robin Hirsch , Ian Hodkinson
|
|
6
|
A Note on Relativised Products of Modal Logics
– Agi Kurucz, Michael Zakharyaschev
- 2003
|
|
5
|
Atom structures and Sahlqvist equations
– Yde Venema
- 1997
|
|
|
Non-Finitely Axiomatizable, Union-Free Reducts of Algebras of Relations
– Ian Hodkinson, Szabolcs Mikulas
- 1997
|
|
3
|
Axiomatizability of Reducts of Algebras of Relations
– Ian Hodkinson, Szabolcs Mikulas
|
|
9
|
Relation Algebras with n-Dimensional Relational Bases
– Robin Hirsch, Ian Hodkinson
- 1999
|
|
14
|
Representability is not decidable for finite relation algebras
– Robin Hirsch, Ian Hodkinson
- 1999
|
|
9
|
Finite Schematizable Algebraic Logic
– Ildikó Sain, Viktor Gyuris
- 1997
|
|
1
|
Strongly representable atom structures of relation algebras
– Robin Hirsch, Ian Hodkinson, Communicated Carl G. Jockusch
|
|
|
relation
– Ian Hodkinson
|
|
1
|
Games in Algebraic Logic
– Robin Hirsch, Ian Hodkinson
- 1998
|
|
3
|
On the Equational Theory of Representable Polyadic Equality Algebras (Extended Abstract)
– Istvan Nemeti, Gabor Sagi
- 1998
|
