Recent work in Algebraic Logic
- The
equational theory of Kleene lattices. Theoretical
Computer Science, to appear. Andréka, H., Mikulás, Sz. and Németi, I.
- Axiomatizability
of positive algebras of binary relations. Algebra
Universalis 66,1 (2011), 7-34. Andréka, H. and Mikulás, Sz.
- Omitting
types for finite variable fragments and complete representations of
algebras. Journal of
Symbolic Logic 73,1 (2008), 65-89. Andréka,
H. Németi, I.
and Sayed-Ahmed,
T.
- Epimorphisms
in cylindric algebras and definability in finite variable logics. Algebra Universalis 61,3-4 (2009), 261-282. Andréka, H. Comer, S. D.
Madarász, J. X. Németi, I. and Sayed-Ahmed, T.
- Mutual
definability does not imply definitional equivalence, a simple example.
Mathematical Logic Quarterly 51,6 (2005), 591-597. Andréka,
H. Madarász, J. X. and Németi, I.
- Algebras
of relations of various ranks, some current trends and applications. Journal of Relational Methods in Computer
Science 1 (2004), 27-49. Andréka,
H. Madarász, J. X. and Németi, I.
- Relational Algebras. In:
The Concise Handbook of Algebra. Eds.: Mikhalev, A. V. and Pilz, G. F.,
Kluwer Academic Publishers 2002. pp.478-482. Andréka, H., Madarász, J. X.
and Németi, I.
- Algebraic Logic. In:
Supplement III of Encyclopaedia of Mathematics. Ed: Hazewinkel, M., Kluwer
Academic Publishers 2002, pp.31-34. Andréka, H., Madarász, J. X. and
Németi, I.
- Algebraic
Logic. In: Handbook of Philosophical Logic. Vol 2, second edition.
Eds: Gabbay, D. M. and Guenthner, F., Kluwer Academic Publishers,
2001. pp.133-247. Andréka, H. Németi, I. and Sain, I.