Další formáty:
BibTeX
LaTeX
RIS
@article{405587,
author = {Kurz, A. and Rosický, J.},
article_number = {1},
keywords = {coalgebra; coequation},
language = {eng},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
title = {Modal predicates and coequations},
volume = {65},
year = {2002}
}
TY - JOUR
ID - 405587
AU - Kurz, A. - Rosický, J.
PY - 2002
TI - Modal predicates and coequations
JF - Electronic Notes in Theoretical Computer Science
VL - 65
IS - 1
SP - 39-58
EP - 39-58
SN - 15710661
KW - coalgebra
KW - coequation
N2 - 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.
ER -
KURZ, A. a J. ROSICKÝ. Modal predicates and coequations. \textit{Electronic Notes in Theoretical Computer Science}. 2002, roč.~65, č.~1, s.~39-58. ISSN~1571-0661.
|
