53 citations · 306 across the 21 of their papers we have counts for
1 paper · 1 filter
H. Andréka, S. Givant, P. Jipsen +1
It is shown that Tarski's set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms. It is also shown that…