Abstract logics as dialgebras

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

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 [1] and [4] 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.

Original languageEnglish
Pages (from-to)254-269
Number of pages16
JournalElectronic Notes in Theoretical Computer Science
Volume65
Issue number1
DOIs
Publication statusPublished - 1 Jan 2002
Externally publishedYes
EventCMCS'2002, Coalgebraic Methods in Computer Science (Satellite Event of ETAPS 2002) - Grenoble, France
Duration: 6 Apr 20027 Apr 2002

    Fingerprint

Keywords

  • Abstract logic
  • Closure system functor
  • Coalgebra
  • Dialgebra

Cite this