On a coalgebraic view on Logic
Dirk Hofmann, Manuel A. Martins · Journal of Logic and Computation · 2012
In this article we present methods of transition from one perspective on logic to others, and apply this in particular to obtain a coalgebraic presentation of logic. The central ingredient in this process is to view consequence relations as morphisms in a category.