The aim of this report is to propose a line of research that studies the connections between the theory of consequence operators as developed in Font  and  and the theory of dialgebras. The first steps in this direction are taken in this report, namely some of the basic notions of the theory of consequence operators - such as abstract logics - are translated into notions of the theory of dialgebras, and internal characterizations of the corresponding classes of objects are presented. Moreover it is shown that the class of coalgebras that corresponds to abstract logics of empty signature is a covariety.
|Number of pages||16|
|Journal||Electronic Notes in Theoretical Computer Science|
|Publication status||Published - 1 Jan 2002|
|Event||CMCS'2002, Coalgebraic Methods in Computer Science (Satellite Event of ETAPS 2002) - Grenoble, France|
Duration: 6 Apr 2002 → 7 Apr 2002
- Abstract logic
- Closure system functor