Modal predicates and coequations

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Autoři	KURZ A. ROSICKÝ J.
Rok publikování	2002
Druh	Článek v odborném periodiku
Časopis / Zdroj	Electronic Notes in Theoretical Computer Science
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
Obor	Obecná matematika
Klíčová slova	coalgebra; coequation
Popis	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.
Související projekty:	Kategoriální metody teorie struktur a informatiky Matematické struktury algebry a geometrie