On Tarski's Axiomatic Foundations of the Calculus of Relations

Hajnal Andréka, Steven Givant, Peter Jipsen, István Németi. On Tarski's Axiomatic Foundations of the Calculus of Relations. Journal of Symbolic Logic, 82(3):966-994, 2017. [doi]

Abstract

Abstract is missing.