Proof systems in relation algebra

Lew Gordeev. Proof systems in relation algebra. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 80-85, 1998.

Abstract

Abstract is missing.