Strongly complete logics for coalgebras

Varování

Publikace nespadá pod Ekonomicko-správní 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 http://dx.doi.org/10.2168/LMCS-8(3:14)2012
Obor Obecná matematika
Klíčová slova coalgebra;modal logic;algebraic theroy
Přiložené soubory
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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.