Relational logic

TODO: Comments on Tarski’s version (relation algebra) + other versions, e.g., description logic

Literature

Relation and cylindric algebras

  • Henkin, Monk, Tarksi, 1971: Cylindric algebras, Part I
  • Tarski & Givant, 1987: A formalization of set theory without variables
    • Tarski’s last major work, published after his death in 1983
    • Book review in AMS Bulletin

Equivalence relations

Little-known line of research on the “logic” of equivalence relations:

  • Finberg, Mainetti, Rota, 1996: The logic of commuting equivalence relations (doi, ref )
  • Ellerman, 2010: The logic of partitions: Introduction to the dual of the logic of subsets (doi, arxiv)