J 2002

Modal predicates and coequations

KURZ, A. a J. ROSICKÝ

Základní údaje

Originální název

Modal predicates and coequations

Autoři

KURZ, A. a J. ROSICKÝ

Vydání

Electronic Notes in Theoretical Computer Science, 2002, 1571-0661

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14310/02:00006469

Organizační jednotka

Přírodovědecká fakulta

Klíčová slova anglicky

coalgebra; coequation

Štítky

Změněno: 8. 4. 2010 08:56, prof. RNDr. Jiří Rosický, DrSc.

Anotace

V originále

We show that coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic.

Návaznosti

GA201/02/0148, projekt VaV
Název: Kategoriální metody teorie struktur a informatiky
Investor: Grantová agentura ČR, Kategoriální metody teorie struktur a informatiky
MSM 143100009, záměr
Název: Matematické struktury algebry a geometrie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury algebry a geometrie