Affordable Access

Compatibilitat en Àlgebra, en Lògica i en Informàtica

Butlletí de la Societat Catalana de Matemàtiques
Publication Date
  • Logic
  • Mathematics


This paper introduces the current view on the algebraic studies in Logic, especially in the domain of non-classical logics. The paper is organized around some pure algebraic concepts such as compatibility, Leibniz congruence, and the Leibniz operator. It is shown how these concepts allow to define a hierarchy of logics and to classify them according to their behaviour as far as their algebraization is concerned, that is, by the kind of relation they have with their algebraic models, and by the properties of these models. The paper ends with a brief survey of some of the most recent research lines in the context of the emerging field now called Abstract Algebraic Logic.

There are no comments yet on this publication. Be the first to share your thoughts.