Algebraic Logic, Varieties of Algebras and Algebraic Varieties

Preprint English OPEN
Plotkin, B.;
  • Subject: Mathematics - General Mathematics | Mathematics - Category Theory | 03C05, 03G99, 16B70, 08A70

The aim of the paper is to discuss the relations between the three kinds of objects named in the title. In a sense, this is a survey of such relations; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider ... View more
  • References (69)
    69 references, page 1 of 7

    [1] H. Andr´eka, T. Gergely, I. N´emety, On universal algebraic constructions of logic, Studia Logica, 36(1977), 9-47.

    [2] H. Andr´eka, I. N´emety, I. Sain, Abstract model theory approach to algebraic logic, Preprint, 1984 (or 1992).

    [3] G. Birkhoff, J. Lipson, Heterogeneous algebras, J. Comb. Theory, 8(1970), no. 1, 115-133.

    [4] W.J. Blok, D. Pigozzi, Algebraizable logics, Memoirs AMS, 77(1989), no. 396.

    [5] S.L. Bloom, E.G. Wagner, Many-sorted theories and their algebras with some applications to data tipes, In: Algebraic methods in semantics, Cambridge Univ. Press (1985), 133-168.

    [6] J. Cirulis, Cylindric and relational algebras (Russian), Preprint, Riga, (1986).

    [7] J. C¯ırulis, An algebraization of first order logic with terms, In: Algebraic Logic (Proc. Int. Conf. Budapest 1988), North-Holland, Amsterdam et al., (1991), 125-146.

    [8] J. C¯ırulis, Superdiagonals of universal algebras, Acta Univ. Latviensis, 576(1992), 29-36.

    [9] J. C¯ırulis, An axiomatic approach to relational algebras, manuscript, Riga, University of Latvia, December, (1993).

    [10] J. C¯ırulis, Abstract algebras of finitary relations: several non-traditional axiomatizations, Acta Univ. Latviensis, 595(1994), 23-48.

  • Similar Research Results (1)
  • Metrics
Share - Bookmark