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: