19 citations · 49 across the 19 of their papers we have counts for
1 paper · 2 filters
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…