On the Leibniz congruences
Josep Maria Font-Llagunes · Banach Center Publications · 1993
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two cla