Strongly complete logics for coalgebras

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Název česky	Silně kompletní logika pro koalgebry
Autoři	KURZ Alexander ROSICKÝ Jiří
Rok publikování	2012
Druh	Článek v odborném periodiku
Časopis / Zdroj	Logical Methods in Computer Science
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
Doi	https://doi.org/10.2168/LMCS-8(3:14)2012
Obor	Obecná matematika
Klíčová slova	coalgebra;modal logic;algebraic theroy
Přiložené soubory	Rstrcompl.09.pdf
Popis	Článek je věnován jednotnému popisu konečných logik pro množinové koalgebry. Je předložena obecná konstrukce, která se ukázala být silně úplná.
Související projekty:	Institut Teoretické Informatiky