Abstract logics as dialgebras

Alessandra Palmigiano

doi:10.1016/S1571-0661(04)80367-0

Abstract logics as dialgebras

Research output: Contribution to Journal › Article › Academic › peer-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 language	English
Pages (from-to)	254-269
Number of pages	16
Journal	Electronic Notes in Theoretical Computer Science
Volume	65
Issue number	1
DOIs	https://doi.org/10.1016/S1571-0661(04)80367-0
Publication status	Published - 1 Jan 2002
Externally published	Yes
Event	CMCS'2002, Coalgebraic Methods in Computer Science (Satellite Event of ETAPS 2002) - Grenoble, France Duration: 6 Apr 2002 → 7 Apr 2002

Keywords

Abstract logic
Closure system functor
Coalgebra
Dialgebra

Access to Document

10.1016/S1571-0661(04)80367-0

Handle.net

Persistent link

Cite this

@article{1da2f5778ce14451ab81d1bbbb2bee0e,

title = "Abstract logics as dialgebras",

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.",

keywords = "Abstract logic, Closure system functor, Coalgebra, Dialgebra",

author = "Alessandra Palmigiano",

year = "2002",

month = jan,

day = "1",

doi = "10.1016/S1571-0661(04)80367-0",

language = "English",

volume = "65",

pages = "254--269",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "1",

note = "CMCS'2002, Coalgebraic Methods in Computer Science (Satellite Event of ETAPS 2002) ; Conference date: 06-04-2002 Through 07-04-2002",

}

TY - JOUR

T1 - Abstract logics as dialgebras

AU - Palmigiano, Alessandra

PY - 2002/1/1

Y1 - 2002/1/1

N2 - 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.

AB - 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.

KW - Abstract logic

KW - Closure system functor

KW - Coalgebra

KW - Dialgebra

UR - http://www.scopus.com/inward/record.url?scp=18944384366&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=18944384366&partnerID=8YFLogxK

U2 - 10.1016/S1571-0661(04)80367-0

DO - 10.1016/S1571-0661(04)80367-0

M3 - Article

AN - SCOPUS:18944384366

SN - 1571-0661

VL - 65

SP - 254

EP - 269

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1

T2 - CMCS'2002, Coalgebraic Methods in Computer Science (Satellite Event of ETAPS 2002)

Y2 - 6 April 2002 through 7 April 2002

ER -

Abstract logics as dialgebras

Abstract

Keywords

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this