We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics. We illustrate this by two case studies focusing on the category of finitary structural logics and its subcategory of algebraizable logics.
Keywords.Logics signatures categories accessible categories locally presentable categories
Unable to display preview. Download preview PDF.