4
votes
1answer
222 views

Motivation behind Theory of Relations?

I looked through the nice paper by Tarski On the Calculus of Relations. In the beginning he touched a motivation behind Theory of Relations but this part was not clear to me (page 1, very beginning): ...
2
votes
1answer
163 views

What does Tarski mean by a “tautological operation” on a Boolean algebra?

I am reading Part II of Chin and Tarski's "Distributive and Modular Laws in the Arithmetic of Relation Algebras". In the beginning of section 4, the authors say "In general, if $\odot$ is a binary ...