Axiomatizability of reducts of algebras of relations

Algebra Universalis

Volumn 43, Issue 2-3, 2000, Pages 127-156

  Hodkinson, Ian ^a   Mikulás, Szabolcs ^b,c  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b KING'S COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0003046269     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s000120050150     Document Type: Article

References (26)

1. ANDRÉKA, H., "On the representation problem of distributive semilattice-ordered semigroups", preprint, Mathematical Institute of the Hungarian Academy of Sciences, 1988.
2. ANDRÉKA, H., "The equational theories of representable positive cylindric and relation algebras are decidable", preprint, Mathematical Institute of the Hungarian Academy of Sciences, 1990.
3. ANDRÉKA, H., "Representation of distributive lattice-ordered semigroups with binary relations", Algebra Univers. 28 (1991), 12-25.
4. ANDRÉKA, H. and MIKULÁS, SZ., "Lambek calculus and its relational semantics: completeness and incompleteness", Journal of Logic, Language and Information, 3 (1994), 1-37.
5. VAN BENTHEM, J., Exploring logical dynamics, Studies in Logic, Language and Information CSLI Publications and FoLLI, 1996.
6. BREDIKHIN, D. A., "Abstract characteristic of some classes of algebras of relations", (in Russian), Algebra and Theory of Numbers, Nalchik, 2 (1977), 3-19.
7. BREDIKHIN, D. A., "The equational theory of relation algebras with positive operations", (in Russian), Izv. Vyash. Uchebn. Zaved. Math., 3 (1993), 23-30.
8. BREDIKHIN, D. A. and SCHEIN, B. M., "Representation of ordered semigroups and lattices by binary relations", Colloquium Mathematicum, 39 (1978), 1-12.
9. COMER, S. D., "A remark on representable positive cylindric algebras", Algebra Univers. 28 (1991), 150-151.
10. DÜNTSCH, I., "A note on cylindric lattices", in: C. Rauszer (ed.), Algebraic Methods in Logic and in Computer Science, Banach Center Publications, 28 (1993), 231-238.
11. HAIMAN, M., "Arguesian lattices which are not type I", Algebra Univers. 28 (1991), 128-137.
12. HANSEN, B., "Finitizability questions for some reducts of cylindric algebras", in L. Csirmaz, D.M. Gabbay, M. de Rijke (eds.), Logic Colloquium '92, Studies in Logic, Language and Information, CSLI Publications and FOLLI, (1995), 115-134.
13. HENKIN, L., MONK, J. D. and TARSKI, A., Cylindric algebras I., II., North-Holland, Amsterdam, 1971, 1985.
14. HIRSCH, R. and HODKINSON, I., "Axiomatising various classes of relation and cylindric algebras ", Logic Journal of the IGPL, 5(2) (1997), 209-229.
15. HIRSCH, R. and HODKINSON, I., "Step by step - building representations in algebraic logic", Journal of Symbolic Logic, 62 (1997), 225-279.
16. HIRSCH, R. and HODKINSON, I., "Complete representations in algebraic logic", Journal of Symbolic Logic, 62 (1997), 816-847.
17. HODGES, W., Model theory, Cambridge University Press, 1993.
18. JIPSEN, P. and MADDUX, R., "Nonrepresentable sequential algebras", Logic Journal of the IGPL, 5(4) (1997), 565-574.
19. JOHNSON, J. S., "Nonfinitizability of classes of representable polyadic algebras", Journal of Symbolic Logic, 34 (1969), 344-352.
20. JÓNSSON, B., "Representation of modular lattices and of relation algebras ", Transactions of the AMS, 92 (1959), 449-464.
21. LYNDON, R. C., "The representation of relational algebras", Ann. of Math., 51 (1950), 707-729.
22. VON KARGER, B., "The class of representable sequential algebras is not finitely axiomatizable", draft, 1994.
23. MADDUX, R. D., "A sequent calculus for relation algebras", Annals of Pure and Applied Logic, 25 (1983), 3-101.
24. MADDUX, R. D., "Non-finite axiomatizability results for cylindric and relation algebras", Journal of Symbolic Logic, 54(3) (1989), 951-974.
25. MONK, J. D., "On representable relation algebras", Michigan Mathematical Journal, 11 (1964), 207-210.
26. MONK, J. D., "Nonfinitizability of classes of representable cylindric algebras", Journal of Symbolic Logic, 34 (1969), 331-343.