Peirce algebras and boolean modules

Journal of Logic and Computation

Volumn 17, Issue 2, 2007, Pages 255-283

  Hirsch, R ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Axiomatisation.; Boolean module; Peirce algebra; Relation algebra; Representation

Indexed keywords

AXIOMATISATION.; BASE SET; FINITE SET; NON-ADDITIVE; RELATION ALGEBRAS;

BOOLEAN ALGEBRA; SET THEORY;

MATHEMATICAL OPERATORS;

EID: 41549153607     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exl037     Document Type: Article

References (21)

1. C. Brink. Boolean modules. J. Algebra, 71, 291-313, 1981.
2. C. Brink, K. Britz, and R. Schmidt. Peirce algebras. Formal Aspects Comput., 6, 339-358, 1994.
3. S. Burris and H. Sankappanavar. A course in universal algebra, Volume 78 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1981. Available at http://www.uwaterloo.ca/~snburris/htdocs/ualg.html
4. C. Chang and H. Keisler. Model Theory. North-Holland, Amsterdam, 3rd edn., 1990.
5. S. Comer. Combinatorial aspects of relations. Algebra Universalis, 18, 77-94, 1984.
6. L. Henkin, J. Monk, and A. Tarski. Cylindric Algebras Part II. North-Holland, Amsterdam, 1985.
7. R. Hirsch and I. Hodkinson. Relation Algebras by Games. North-Holland, Elsevier Science, Amsterdam, 2002.
8. W. Hodges. Model Theory. Encylopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1995 (second reprint).
9. I. Hodkinson and S. Mikulás. A non-finite axiomatizablity result for a reduct of RRA. Algebra Univers., 43, 127-156, 2000.
10. B. Jónsson. Representation of modular lattices and relation algebras. Trans. Amer. Math. Soc., 92, 449-464, 1959.
11. B. Jónsson and A. Tarski. Boolean algebras with operators II. Am. J. Math., 74, 127-162, 1952.
12. A. Kornilowicz. Birkhoff's theorem for many sorted algebras. Journal of Formalized Mathematics, 9, 1997. Postscript version available at http://mizar.uwb.edu.pl/JFM/Vol9/Birkhoff.html
13. R. Lyndon. Relation algebras and projective geometries. Michigan Math. J., 8, 207-210, 1961.
14. R. Maddux. Some varieties containing relation algebras. Trans. Amer. Math. Soc., 272, 501-526, 1982.
15. R. Maddux. Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections. In Algebraic Logic, H. Andréka, J. Monk, and I. Németi, eds, Volume 54 of Colloq. Math. Soc. J. Bolyai, pp. 361-392. North-Holland, Amsterdam, 1991.
16. A. Mal'cev. A few remarks on quasi-varieties of algebraic systems. In The metamathematics of algebraic systems: collected papers, 1936-1967, Anatolii Mal'cev, B. Wells, III, ed., pp. 416-421. North-Holland, Amsterdam, 1971.
17. J. Monk. On representable relation algebras. Michigan Math. J., 11, 207-210, 1964.
18. M. De Rijke. The logic of Peirce algebras. J. Logic, Language Inform., 4, 227-250, 1995.
19. M. De Rijke. A modal characterization of Peirce algebras. In Logic at Work. Essays Dedicated to the Memory of Elena Rasiowa, E. Orlowska, ed., Volume 24 of Studies in Fuzziness and Soft Computing, pp. 109-123. Springer-Verlag, Berlin/Heidelberg, 1998.
20. M. Stone. The theory of representations for boolean algebras. Trans. Amer. Math. Soc., 40, 37-111, 1936.
21. A. Tarski. Contributions to the theory of models, I, II. In Proceedings of Koninklijke Nederlandse Akademie van Wetenschappen, Volume 57 (Indagationes Mathematicae 16) of A, pp. 572-581, 582-588, 1954.