Decision problems for equational theories of relation algebras

Memoirs of the American Mathematical Society

Volumn , Issue 604, 1997, Pages 1-114

  Andréka, Hajnal ^a   Givant, Steven ^a   Németi, István ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031100164     PISSN: 00659266     EISSN: None     Source Type: Journal    
DOI: 10.1090/memo/0604     Document Type: Article

References (49)

1. [1995] Andréka, H. and Bredikhin, D. A., The equational theory of union-free algebras of relations, Algebra Universalis 33 (1995), 516-532.
2. [1994] Andréka, H., Givant, S. R., and Németi, I., The lattice of varieties of representable relation algebras, Journal of Symbolic Logic 59 (1994), 631-661.
3. [1994a]_, Decision problems for equational theories of relation algebras, Bulletin of the Section of Logic 23 (1994), 47-52.
4. [1994b]_, Undecidable equational theories of relation algebras, Abstracts of papers presented to the American Mathematical Society 15 (1994), 475.
5. [1935] Birkhoff, G., On the structure of abstract algebras, Proceedings of the Cambridge Philosophical Society 31 (1935), 433-454.
6. [1973] Chang, C. C. and Keisler, H. J., Model theory, Studies in Logic and the Foundations of Mathematics vol. 73, North-Holland Publishing Company, Amsterdam, 1973, xii + 550 pp.
7. [1948] Chin, L. H., Distributive and modular laws in relation algebras, Doctoral dissertation, University of California, Berkeley, 1948, 62 pp.
8. [1951] Chin, L. and Tarski, A., Distributive and modular laws in the arithmetic of relation algebras, University of California Publications in Mathematics, new series 1 no. 9 (1951), 341-384.
9. [1980] Freese, R., Free modular lattices, Transactions of the American Mathematical Society 261 (1980), 81-91.
10. [1994] Givant, S. R., The structure of relation algebras generated by relativizations, Contemporary Mathematics vol. 41, American Mathematical Society, Providence, Rhode Island, 1994, xvi + 134 pp.
11. [1966] Gurevich, Yu., The word problem for certain classes of semigroups, Algebra i Logika 5 (1966), 25-35. (Russian)
12. [1984] Gurevich, Yu., and Lewis, H. R., The word problem for cancellation semigroups with zero, Journal of Symbolic Logic 49 (1984), 184-191.
13. [1971] Henkin, L., Monk, J. D., and Tarski, A., Cylindric algebras. Part I, Studies in Logic and the Foundations of Mathematics vol. 64, North-Holland Publishing Company, Amsterdam, 1971, vi + 508 pp.
14. [1995] Herrmann, C., On the undecidability of implications between embedded multivalued data-base dependencies, Journal of Theoretical Computer Science 122 (1995), 221-235.
15. [1992] Jipsen, P., Computer-aided investigations of relation algebras, Doctoral Dissertation, Vanderbilt University, Nashville, 1992, iii + 82 pp.
16. [1994] Jipsen, P. and Lukács, E., Minimal relation algebras, Algebra Universalis 32 (1994), 189-203.
17. [1959] Jónsson, B., Representations of modular lattices and of relation algebras, Transactions of the American Mathematical Society 92 (1959), 449-464.
18. [1982]_, Varieties of relation algebras, Algebra Universalis 15 (1982), 273-298.
19. [1988]_, Relation algebras and Schröder categories, Discrete Mathematics 70 (1988), 27-45.
20. [1991]_, The theory of binary relations, Algebraic logic (H. Andréka, J. D. Monk, and I. Németi, eds.), Colloquia Mathematica Societatis János Bolyai vol. 54, North-Holland Publishing Company, Amsterdam, 1991, pp. 245-292.
21. [1951] Jónsson, B. and Tarski, A., Boolean algebras with operators. Part I, American Journal of Mathematics 73 (1951), 891-939.
22. [1952]_, Boolean algebras with operators. Part II, American Journal of Mathematics 74 (1952), 127-162.
23. [1993] Kurucz, Á., Németi, I., Sain, I., and Simon, A., Undecidable varieties of semilattice-ordered semigroups, and logics extending the Lambek Calculus, Bulletin of the Interest Group in Prepositional Logic 1 (1993), 91-98.
24. [1974] Lipshitz, L., The undecidability of the word problems for projective geometries and modular lattices, Transactions of the American Mathematical Society 193 (1974), 171-180.
25. [1961] Lyndon, R. C., Relation algebras and projective geometries, Michigan Mathematical Journal 8 (1961), 21 28.
26. [1978] Maddux, R. D., Topics in relation algebras, Doctoral Dissertation, University of California, Berkeley, 1978, iii + 241 pp.
27. [1981]_, Embedding modular lattices into relation algebras, Algebra Universalis 12 (1981), 242-246.
28. [1991]_, Pair-dense relation algebras, Transactions of the American Mathematical Society 328 (1991), 83-131.
29. [1994]_, Undecidable semiassociative relation algebras, Journal of Symbolic Logic 59 (1994), 398-418.
30. [1995]_, Review #03035 of Givant [1994], Zentralbatt für Mathematik und ihre Grenzgebiete 812 (1995), 31.
31. [a] Marx, M., Masuch, M., and Polos, L., ed., Arrow logic and multi-modal logic, Proceedings of the Conference: Logic at Work, held at the Center for Computer Science in Organization and Management, University of Amsterdam, December 1992, CSLI Publications, to appear.
32. [1964] Monk, J. D., On representable relation algebras, Michigan Mathematical Journal 11 (1964), 207-210.
33. [1985] Némete, I., Exactly which varieties of cylindric algebras are decidable? Preprint 34/1985, Mathematical Institute of the Hungarian Academy of Sciences, Budapest, 1985, 26 pp.
34. [1995] Németi, I., Sain, I., and Simon, A., Undecidability of the equational theories of some classses of residuated Boolean algebras with operators, Bulletin of the Interest Group in Propositional Logic 3 (1995), 93-107.
35. [1995] Novikov, P. S., On the algorithmic unsolvability of the word problem group theory, Trudy Matematicheskogo Instituta imeni V. A. Steklova 44 (1955). (Russian)
36. [1994] Pratt, V. R., A roadmap of two-dimensional logics, Logic and Information Flow (J. van Eijck and A. Visser, eds.), MIT Press, Cambridge MA, 1994, pp. 149-162.
37. [1965] Rabin, M. O., A simple method for undecidability proofs and some applications, Logic, Methodology and Philosophy of Science II (Y. Bar Hillel, ed.), North-Holland Publishing Company, Amsterdam, 1965, pp. 58-68.
38. [1979] Schönfeld, W., An undecidability result for relation algebras, Journal of Symbolic Logic 44 (1979), 111-115.
39. [1941] Tarski, A., On the calculus of relations, Journal of Symbolic Logic 6 (1941), 73-89.
40. [1946]_, A remark on functionally free algebras, Annals of Mathematics 47 (1946), 163-165.
41. [1953]_, Some metalogical results concerning the calculus of relations, Journal of Symbolic Logic 18 (1953), 188-189.
42. [1954]_, Contributions to the theory of models. II, Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Mathematical Science, 57 (= Indagationes Mathematicae 16) (1954), 582-588.
43. [1955]_, Contributions to the threoy of models. III, Koninklijke Nederlandse Akademie van Wetenschappen, Prodeedings, Series A, Mathematical Sciences 58 (= Indagationes Mathematicae 17) (1995), 56-64.
44. [1987] Tarski, A. and Givant, S. R., A formalization of set theory without variables, American Mathematical Society, Colloquium Publications vol. 41, Providence RI, 1987, xxii + 318 pp.
45. [1984] Urquhat, A., The undecidability of entailment and relevant implication, Journal of Symbolic Logic 49 (1984), 1059-1073.
46. [1995]_, Decision problems for distributive lattice-ordered semigroups, Algebra Universalis 34 (1995), 399-418.
47. [1994] van Benthem, J., Dynamic Arrow Logic, Logic and Information Flow (J. van Eijck and A. Visser, eds.), MIT Press, Cambridge MA, 1994, pp. 15-29.
48. [1960] von Neumann, J., Continuous Geometry, Princeton Mathematical Series, vol. 25 (I. Halperin, ed.), Princeton University Press, Princeton NJ, 1960, xi + 299 pp.
49. [1857] von Staudt, K. G. C., Beiträge zur Geometrie der Lage, F. Korn, Nürenberg, 1857.