Syntax and Consequence Relations -- A Categorical Perspective

Lingyuan Ye

In this paper, we use a categorical and functorial set up to model the syntax and inference of logics with algebraic signature, extending previous works on algebraisation of logics…